hardenedlinux / chibaLinks
The framework for next generation data center.
☆19Updated 4 months ago
Alternatives and similar repositories for chiba
Users that are interested in chiba are comparing it to the libraries listed below
Sorting:
- Simple NixOS-like Docker containers with declarative config☆23Updated 2 years 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 …☆19Updated 3 months ago
- a tool to indent/format nix based source code and data structures as attrsets and lists☆13Updated 5 years ago
- 32-bit RISC-V Emulator☆24Updated 6 years ago
- A kexec-based bootloader☆23Updated this week
- Haskell API for Paddle payments☆11Updated 2 weeks ago
- Open Source Firmware Continuous Integration source code☆24Updated 6 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- ☆44Updated 2 years ago
- a program to label approved PRs in nixpkgs [maintainer=@Artturin,@wegank]☆15Updated last week
- Prebuilt NixOS VM images☆11Updated this week
- Transform the collected configurations into various target configurations, inheriting the art of simplifying complexity. Additionally, it…☆12Updated last month
- Coq BPF interpreter☆19Updated 7 years ago
- Create full netboot images in 15 seconds.☆54Updated 4 years ago
- Provides a way to monitor cryptographic operations performed on a system☆15Updated 8 months ago
- Parsec documentation☆13Updated last year
- Tool for streamlining the development of Genode applications☆24Updated 3 weeks ago
- ☆17Updated 2 years ago
- Build nix targets based on git repository directories☆28Updated 2 months ago
- experimental nix prelude☆27Updated 2 years ago
- A stateful strace-like - Linux syscall tampering-first strace-like tool.☆16Updated last month
- ☆15Updated 6 months ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆25Updated 6 years ago
- Tools to create channels from hydra jobsets☆36Updated last week
- TVIX services backed by NATS☆20Updated last year
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆14Updated last year
- Kexec into an in-memory emergency system☆33Updated 3 years ago
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- A Literate Programming System Utilizing Markdown☆16Updated last week