Explore projects

Templates for papers, reports, presentations, etc.

Efficient Video Prediction via Sparsely Conditioned Flow Matching. In ICCV, 2023.

Climate of the past Collaboration

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

Runtime Verification using Temporal Logic in the NASA F' Framework

Container-based Windows Visual Studio CI

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

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