NIPA clone
☆13Dec 16, 2025Updated 2 months ago
Alternatives and similar repositories for nipa
Users that are interested in nipa are comparing it to the libraries listed below
Sorting:
- Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)☆13Mar 18, 2025Updated 11 months ago
- Artifact evaluation for Dogfood☆12Feb 22, 2020Updated 6 years ago
- FastClick extended with RSS++'s code☆13May 1, 2021Updated 4 years ago
- Collection of scripts for Linux kernel development☆13Jun 6, 2024Updated last year
- A tool for extracting kernel TCP INET_DIAG data at high rates and exporting that data via protobufs☆15Jun 2, 2023Updated 2 years ago
- fsfuzzer mirror☆13May 8, 2017Updated 8 years ago
- ☆14Oct 28, 2021Updated 4 years ago
- Gerrymander provides a client for interacting with & querying the Gerrit code review system☆32May 16, 2025Updated 9 months ago
- ☆16Aug 11, 2021Updated 4 years ago
- Ferrite, a toolkit for developing file system crash-consistency models☆21Sep 2, 2016Updated 9 years ago
- The ketchup utility to manage different kernel trees/patchsets☆18Apr 21, 2015Updated 10 years ago
- Convenient tool to manage multiple VMs at once using libvirt☆21Apr 22, 2024Updated last year
- ☆85Jan 10, 2024Updated 2 years ago
- Tree for GNU Emacs Debian snapshots☆17Feb 26, 2026Updated last week
- Proof-of-concept tool for checking signal handlers for reentrancy issues.☆20Jun 6, 2020Updated 5 years ago
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Jun 19, 2024Updated last year
- Daemon for functional keys (works without X11)☆16Jun 15, 2019Updated 6 years ago
- My ~/linux/ directory framework☆103Feb 27, 2026Updated last week
- Overcoming the IOTLB Wall for Multi-100-Gbps Linux-based Networking☆24May 16, 2023Updated 2 years ago
- eBPF based dataplane prototypes☆24Nov 22, 2019Updated 6 years ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26May 25, 2021Updated 4 years ago
- WineFS (SOSP 21): a huge-page aware file system for persistent memory☆36Oct 11, 2023Updated 2 years ago
- Static Analyser for C☆159Feb 27, 2026Updated last week
- Source code release for the KRace project☆31Nov 15, 2021Updated 4 years ago
- ☆26Nov 15, 2021Updated 4 years ago
- neper is a Linux networking performance tool.☆323Feb 18, 2026Updated 2 weeks ago
- (x)fstests is a filesystem testing suite (mirror of kernel.org repository, synced daily)☆150Updated this week
- Tool to visualize network config☆162Sep 14, 2021Updated 4 years ago
- A Filesystem Semi-Microkernel.☆46Oct 24, 2023Updated 2 years ago
- ☆50Feb 27, 2026Updated last week
- (Linux Kernel) Stack Monitoring Tool☆48Jan 31, 2022Updated 4 years ago
- TLS implemented in f7☆44Jul 28, 2016Updated 9 years ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆50Feb 24, 2026Updated last week
- The command-line client for the patchwork patch tracking tool☆55Oct 2, 2025Updated 5 months ago
- cache analysis platform developed at Emory University and CMU☆42Apr 17, 2024Updated last year
- Now moved into `github.com/inspektor-gadget/inspektor-gadget/pkg/gadget-collection/gadgets/traceloop`. Tracing system calls in cgroups u…☆200Mar 29, 2023Updated 2 years ago
- Make Linux crash dump small by filtering and compressing pages☆59Oct 30, 2025Updated 4 months ago
- A tool like /bin/ps but uses /proc/kcore for walking the tasklist; this finds hidden processes☆58Mar 18, 2015Updated 10 years ago
- Vim plugin to respect the Linux kernel coding style http://www.vim.org/scripts/script.php?script_id=4369☆56Mar 6, 2025Updated last year