Explore projects

Templates for papers, reports, presentations, etc.

Gitlab CI component for C++/CMake projects on Debian Linux

Climate of the past Collaboration

.om binary format definition for https://kaitai.io/ (very incomplete!)

Runtime Verification using Temporal Logic in the NASA F' Framework

Python script to convert a 2D matlab matrix file to C++ header/source that defines compile-time Eigen matrices.

Gitlab CI component for C++/CMake projects on Windows with Visual Studio

Taming Transformers for High-Resolution Image Synthesis

Repository for the research group on Earth System Modeling: Atmospheric Dynamics of the Climate and Environmental Physics Institute of the University of Bern

Easy generative modeling in PyTorch.