The servers configurations of https://dse.in.tum.de/
☆44Mar 4, 2026Updated this week
Alternatives and similar repositories for doctor-cluster-config
Users that are interested in doctor-cluster-config are comparing it to the libraries listed below
Sorting:
- ☆14Nov 11, 2025Updated 3 months ago
- a Nix-based C preprocessor☆16Aug 11, 2024Updated last year
- ☆11Jun 10, 2024Updated last year
- Code repository for blog article series https://nixcademy.com/2023/10/31/cpp-with-nix-in-2023-part-1-shell/☆11Jan 11, 2024Updated 2 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆10Sep 7, 2023Updated 2 years ago
- ☆15Jan 5, 2024Updated 2 years ago
- A unified Nix configuration loading interface and theory that emulates the modularity, configurability, reusability, and overrideability …☆38Jan 17, 2026Updated last month
- S3-backed Nix binary cache with garbage collection☆150Updated this week
- Meeting materials☆19Feb 26, 2026Updated last week
- ☆30Feb 27, 2026Updated last week
- Build nix targets based on git repository directories☆28Mar 31, 2025Updated 11 months ago
- Edit your flake inputs with ease.☆53Updated this week
- Shell into a virtualized linux, with your own tools☆167Mar 1, 2026Updated last week
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- The lazypoline syscall interposer☆29May 4, 2025Updated 10 months ago
- UEFI☆33Oct 22, 2025Updated 4 months ago
- Re-use the NixOS VM test infrastructure to test Ubuntu, Debian, and Fedora machines.☆80Mar 2, 2026Updated last week
- User-configurable login shell☆62Jun 3, 2024Updated last year
- A CLI tool for interacting with SEV-SNP guest environment☆90Jan 23, 2026Updated last month
- Administrative utility for SEV-SNP☆43Feb 20, 2026Updated 2 weeks ago
- This is the home of the NixOS Foundation☆120Jan 30, 2026Updated last month
- A set of Rust types for supporting COSE☆42Mar 2, 2026Updated last week
- A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]☆241Updated this week
- 2024 Election for the Steering Committee☆31Nov 11, 2024Updated last year
- Go bindings to nix API☆36Oct 2, 2024Updated last year
- Automatically build (netboot) images for NixOS [maintainer=@Mic92]☆365Updated this week
- A tiny & fast type system for Nix in Nix☆101Jan 15, 2026Updated last month
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆47Mar 2, 2026Updated last week
- CI/CD tool and web frontend for nix package sets☆53Feb 13, 2026Updated 3 weeks ago
- The front page and documentation for the Unikraft Open-Source Project.☆38Updated this week
- NixOS profiles for servers [maintainer=@numtide]☆909Updated this week
- Virtual I/O acceleration technologies for KVM☆15Sep 17, 2013Updated 12 years ago
- A simple 8086-CPU simulator using Verilog and Quartus II☆10Jul 9, 2018Updated 7 years ago
- Personal collection of Dagger modules☆11Jan 15, 2026Updated last month
- ☆11Oct 13, 2025Updated 4 months ago
- VMSDK implements the Evidence API☆11Nov 25, 2024Updated last year
- A job management system for python☆10Mar 3, 2026Updated last week
- ☆11Aug 22, 2022Updated 3 years ago
- MangaDex to OPDS proxy☆12Aug 29, 2025Updated 6 months ago