- Dresden, Germany
-
20:31
(UTC +01:00) - https://orcid.org/0000-0003-2512-9292
Stars
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…
Nix packaging and NixOS modules to ease and accelerate the set-up process of a fully functioning VMI testbed
A collection of curated modules that work great with CTRL-OS (and NixOS)
Pure Nix library to make Flakes usable
Parse, manipulate, and reconstruct Nix source code with high-level abstractions.
A tool for USB device pass-through using the vfio-user protocol.
A new signature format for Nix - for verifiable provenance data and SBOMs.
CLI utility to support you with your time logs in GitLab.
KVM Backend for VirtualBox. With our current development model, we cannot easily accept pull requests here. If you'd like to contribute, feel free to reach out to us, we are happy to find a solution.
Visualizing Ownership and Borrowing in Rust Programs