TUM-DSE / doctor-cluster-configView external linksLinks
The servers configurations of https://dse.in.tum.de/
☆44Updated 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
- ☆10Jun 10, 2024Updated last year
- ☆14Jan 5, 2024Updated 2 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆10Sep 7, 2023Updated 2 years ago
- A unified Nix configuration loading interface and theory that emulates the modularity, configurability, reusability, and overrideability …☆38Jan 17, 2026Updated last month
- 2025 Election for the Steering Committee☆28Nov 2, 2025Updated 3 months ago
- S3-backed Nix binary cache with garbage collection☆140Updated this week
- Lessons and examples for learning NixOS Modules.☆42May 27, 2024Updated last year
- Meeting materials☆19Jan 21, 2026Updated 3 weeks ago
- Writing Type-1 Hypervisor in Zig from scratch.☆29Aug 23, 2025Updated 5 months ago
- ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines☆21Nov 1, 2025Updated 3 months ago
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆21Apr 15, 2023Updated 2 years ago
- Edit your flake inputs with ease.☆51Feb 10, 2026Updated last week
- ☆30Feb 9, 2026Updated last week
- Build nix targets based on git repository directories☆28Mar 31, 2025Updated 10 months ago
- Shell into a virtualized linux, with your own tools☆167Feb 8, 2026Updated last week
- The lazypoline syscall interposer☆29May 4, 2025Updated 9 months ago
- A series of NixOS modules to be used in conjunction with https://github.com/nix-community/nixos-facter [maintainer=@brianmcgee,@Mic92]☆176Dec 24, 2025Updated last month
- UEFI☆33Oct 22, 2025Updated 3 months ago
- Re-use the NixOS VM test infrastructure to test Ubuntu, Debian, and Fedora machines.☆78Feb 9, 2026Updated last week
- User-configurable login shell☆63Jun 3, 2024Updated last year
- Administrative utility for SEV-SNP☆41Updated this week
- This is the home of the NixOS Foundation☆122Jan 30, 2026Updated 2 weeks ago
- A set of Rust types for supporting COSE☆41Jan 19, 2026Updated 3 weeks ago
- A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]☆232Updated 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]☆360Updated this week
- ☆10Oct 1, 2019Updated 6 years ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆50Updated this week
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆42Feb 8, 2026Updated last week
- CI/CD tool and web frontend for nix package sets☆53Jan 18, 2026Updated last month
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆46Updated this week
- NixOS profiles for servers [maintainer=@numtide]☆892Updated this week
- The front page and documentation for the Unikraft Open-Source Project.☆37Sep 12, 2025Updated 5 months ago
- Personal collection of Dagger modules☆11Jan 15, 2026Updated last month
- Datasets used in PyCaret☆10Mar 3, 2022Updated 3 years ago
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆14Oct 16, 2025Updated 4 months ago