Explore projects
-
Updated
-
Updated
-
Repository containing the VirtualBox (virtualbox) package
Updated -
Repository containing the Wireshark (wireshark) package
Updated -
Updated
-
Updated
-
Static pages, files and metadata belonging to the HeliumNet Repositories.
Updated -
Updated
-
Updated
-
Repository containing the libzstd package
Updated -
Repository containing the OpenSFX (openttd-opensfx) package
Updated -
Helper scripts for bootstrapping an base Ubuntu installation with ZFS root disks.
Updated -
Repository containing the Poppler (poppler) package
Updated -
Multi-arch builds of VolSync for use in HeliumNet clusters
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 -
Helm Chart for running Rancher Local Path Provisioner inside a Kubernetes cluster.
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