Explore projects

Repository containing the OpenCV (opencv) package

Bitwarden identity component

Bitwarden Events component

Repository containing the VirtualBox (virtualbox) package

Repository containing the Wireshark (wireshark) package

Custom builds of MetalLB with some HeliumNet specific additions.

Bitwarden Nginx component

Bitwarden Icons component

Static pages, files and metadata belonging to the HeliumNet Repositories.

Bitwarden Setup component

Bitwarden Notifications component

Repository containing the libzstd package

Repository containing the OpenSFX (openttd-opensfx) package

Helper scripts for bootstrapping an base Ubuntu installation with ZFS root disks.

Repository containing the Poppler (poppler) package

Bitwarden SSO component

Repository containing the DWARF compression tool (dwz) package

Repository containing the VirtualBox Guest Additions ISO (virtualbox-guest-additions-iso) package

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