Explore projects

Templates for papers, reports, presentations, etc.

Container-based Windows Visual Studio CI

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

clone for CI. MSVC Issue

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

Runtime Verification using Temporal Logic in the NASA F' Framework

Tart based MacOS CI for CMake/C++. Experimental, works with Sonoma at the moment.

Climate of the past Collaboration

Taming Transformers for High-Resolution Image Synthesis