jrandall / petardfs
PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)
☆17Updated 6 years ago
Related projects: ⓘ
- Proof-of-Concept Linux kernel module to export kernel APIs over kernel device nodes☆22Updated 5 years ago
- Agent to execute Cirrus CI tasks☆13Updated 4 months ago
- Compact tries for fixed-width keys☆26Updated 6 years ago
- tiny command-line skeleton/snippet thing☆21Updated 6 years ago
- Github Actions wrapper for vmtest☆10Updated 3 weeks ago
- RaptorJIT: a dynamic system programming language (manuscript)☆15Updated 5 years ago
- Persistent, read-only, FUSE-based caching file system☆16Updated 4 years ago
- [OUTDATED] Please switch to https://github.com/openSUSE/catatonit☆17Updated 5 years ago
- old - now lives in https://github.com/concourse/concourse☆11Updated 2 years ago
- CI Job Parallelizer built on Docker and Kubernetes☆19Updated 7 years ago
- Control and diagnostic applications for rump kernels☆36Updated 7 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- scylladb jepsen clone☆14Updated 2 months ago
- A library for creating HTTP/2 servers in Haskell.☆9Updated 7 years ago
- ☆15Updated 2 years ago
- ltrace clone that uses bcc + uprobes instead of ptrace☆46Updated 6 years ago
- ☆22Updated last year
- Custom Linux distribution built with cloud operability in mind☆9Updated 8 years ago
- BPF noisy typewriter (bpftrace)☆23Updated 4 years ago
- RADclock - A feed-forward NTP clock.☆17Updated 11 years ago
- Go bindings for xhyve☆12Updated 8 years ago
- Mosaic trees managment tool and library☆13Updated 8 years ago
- RLU resizable hash-table☆16Updated 9 years ago
- ☆14Updated 5 years ago
- TLA+ specification of the Ceph consensus algorithm☆20Updated 2 years ago
- The LTTng CI infrastructure configuration☆12Updated last week
- An update of "How to C in 2016", based on the original and on Keith Thompson's commentary.☆10Updated 8 years ago
- Parallel sections library for parallel data-structures☆13Updated 10 months ago
- Run your tty programs pseudo-headlessly under a process supervisor☆12Updated 6 years ago
- GRPC-like RPC library that supports file descriptor passing by using Argdata☆18Updated 5 years ago