Explore projects
-
Updated
-
Updated
-
Repository containing the VirtualBox (virtualbox) package
Updated -
Repository containing the Wireshark (wireshark) package
Updated -
Updated
-
Updated
-
-
Updated
-
Updated
-
Repository containing the libzstd package
Updated -
Repository containing the OpenSFX (openttd-opensfx) package
Updated -
-
Repository containing the Poppler (poppler) package
Updated -
Updated
-
Repository containing the DWARF compression tool (dwz) package
Updated -
Repository containing the VirtualBox Guest Additions ISO (virtualbox-guest-additions-iso) package
Updated -
Isabelle proofs for mapping Ecore to GROOVE and vice versa. Part of my master thesis.
Updated -
Relatively small Docker image containing most packages of TeXLive full. Will work out of the box for 99% of all LaTeX files. Missing packages can be installed automatically when needed using texliveonfly support.
Updated -
Updated
-
Nextcloud Docker image with SMB tools enabled.
Updated