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:
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆25Updated 6 years ago
- The Cubicle model checker☆13Updated last year
- Simple NixOS-like Docker containers with declarative config☆23Updated 2 years ago
- Sail code model of the CHERIoT ISA☆38Updated 2 weeks ago
- A fuse-based filesystem for accessing tar files☆17Updated 7 years ago
- A fair-share ratelimiter implemented as a BPF socket filter☆13Updated 2 years ago
- Reinforcement learning framework to find and analyze the likeliest failures of a system under test.☆13Updated last year
- Coq BPF interpreter☆19Updated 7 years ago
- VC - Verse Calculus - notes & learnings from: The Verse Calculus: a Core Calculus for Functional Logic Programming (official paper by Epi…☆10Updated 2 years ago
- ☆44Updated 2 years ago
- BUSE: Block device in user space☆15Updated 3 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆32Updated this week
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 5 months ago
- A kexec-based bootloader☆22Updated this week
- Test suite for device mapper targets☆22Updated 2 months ago
- [POC] Rootless Containers without `/etc/subuid` and `/etc/subgid`☆18Updated 4 years ago
- view based o.s.☆41Updated last month
- atomfs is a pseudo filesystem for managing container layers☆10Updated last year
- 32-bit RISC-V Emulator☆24Updated 6 years ago
- An operator which calls zeek to nix-ecosystem simply.☆10Updated 2 years ago
- Create full netboot images in 15 seconds.☆54Updated 4 years ago
- ☆10Updated last year
- Place & Router for Minetest☆18Updated 2 years ago
- Maildir synchronization tool☆19Updated 3 years ago
- Provides a way to monitor cryptographic operations performed on a system☆14Updated 7 months ago
- RISC-V SMBIOS Type 44 Spec☆12Updated last year
- NAT probing toolkit.☆22Updated 5 years ago
- acrn-edk2 is a fork of EDK II (https://github.com/tianocore/edk2), ACRN uses one of its sub component, OvmfPkg as virtual bootloader.☆13Updated 11 months ago
- a program to label approved PRs in nixpkgs [maintainer=@Artturin,@wegank]☆15Updated 2 months ago