Explore projects

Repository containing the libarchive package

Repository containing the libzstd package

Repository containing the OpenTTD (openttd) package

Repository containing the OpenGFX (openttd-opengfx) package

Repository containing the NewGRF Meta Language (nml) package

Repository containing the Guake (guake) package

Repository containing the OpenCV (opencv) package

Docker images and scripts for building HeliumNet maintained software packages

Repository containing the DWARF compression tool (dwz) package

Repository containing the VirtualBox Nested Kernel Modules Metapackage (virtualbox-nested-modules) package

Repository containing the XLNA Tools (xlna-tools) package

Repository containing the Mumble (mumble) package

Repository containing the kBuild (kbuild) package

Repository containing the OpenSFX (openttd-opensfx) package

Repository containing the CharLS (charls) package

Repository containing the OpenMSX (openttd-openmsx) package

Repository containing the grfcodec package

Repository containing the catcodec package

Isabelle proofs for mapping Ecore to GROOVE and vice versa. Part of my master thesis.