Explore projects

Templates for papers, reports, presentations, etc.

Runtime Verification using Temporal Logic in the NASA F' Framework

Implementation of Generating Diverse High-Fidelity Images with VQ-VAE-2 in PyTorch

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

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

clone for CI. MSVC Issue

Easy generative modeling in PyTorch.

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