hardenedlinux / chibaLinks
The framework for next generation data center.
☆19Updated 5 months ago
Alternatives and similar repositories for chiba
Users that are interested in chiba are comparing it to the libraries listed below
Sorting:
- ☆16Updated 9 months ago
- An operator which calls zeek to nix-ecosystem simply.☆10Updated 2 years ago
- Hardening your OS/Profile is like building with LEGO, incorporating a couple of Grsecurity features and implementing aggressive security …☆20Updated 4 months ago
- ☆44Updated 2 years ago
- Tool for streamlining the development of Genode applications☆24Updated last month
- Simple NixOS-like Docker containers with declarative config☆23Updated 2 years ago
- 32-bit RISC-V Emulator☆25Updated 6 years ago
- The RISC-V Server Platform specification defines a standardized set of hardware and sofware capabilities, that portable system software, …☆17Updated last week
- A kexec-based bootloader☆25Updated this week
- Sail code model of the CHERIoT ISA☆39Updated this week
- Collection of community-maintained components for Genode☆47Updated last week
- Kexec into an in-memory emergency system☆34Updated 3 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 7 months ago
- Sudoku solver in Nix☆24Updated 3 years ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆14Updated last year
- Personal servers and also my router config.☆23Updated 4 years ago
- Create full netboot images in 15 seconds.☆54Updated 4 years ago
- ☆23Updated 5 months ago
- Build nix targets based on git repository directories☆28Updated 3 months ago
- Transform the collected configurations into various target configurations, inheriting the art of simplifying complexity. Additionally, it…☆12Updated 2 months ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆34Updated this week
- NixOps deployment☆32Updated 7 years ago
- Nixos operations in the box!☆14Updated 5 years ago
- Maildir synchronization tool☆19Updated 4 years ago
- Bootstrapping tools for Janneke's MES☆35Updated this week
- view based o.s.☆41Updated 3 months ago
- libdtrace-ctf is the Compact Type Format library used by DTrace on Linux☆47Updated 2 years ago
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- An example of how to package Coreboot in Nix☆18Updated 4 years ago
- The Flying Circus platform, based on NixOS.☆35Updated this week