☆51Jul 1, 2026Updated 3 months ago
Alternatives and similar repositories for agni
Users that are interested in agni are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool to help programmers debug and analyze Linux Kernel BPF verification failures.☆94Aug 18, 2026Updated last month
- ☆21Jun 9, 2023Updated 3 years ago
- Community contributed tools☆28Oct 10, 2026Updated last week
- Measures the conformance of a BPF runtime to the ISA. See https://github.com/microsoft/bpf-conformance for the new home of this repo.☆41Oct 9, 2026Updated last week
- OCaml hacking ideas, small and large.☆21Apr 9, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Small LD_PRELOAD library to show allocation stats☆14Feb 12, 2026Updated 8 months ago
- loxilb ebpf sub-module☆40Aug 14, 2026Updated 2 months ago
- µBPF - a framework for microcontroller compartmentalization using eBPF☆20Dec 1, 2024Updated last year
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆12Feb 27, 2020Updated 6 years ago
- xdperf is a high-performance network traffic generation tool that leverages XDP (eXpress Data Path).☆81Jul 26, 2026Updated 2 months ago
- BPF CO-RE based sched-analyzer☆48Feb 2, 2025Updated last year
- Kernel coredump file access☆31Aug 11, 2025Updated last year
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆26Sep 5, 2021Updated 5 years ago
- eBPF verifier based on abstract interpretation☆472Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆37Jun 23, 2025Updated last year
- Bug detection framework for finding Finger tracable bugs in Linux☆21Mar 23, 2025Updated last year
- Continuous profiler for GPU & CPU with eBPF☆25Sep 17, 2026Updated last month
- ☆28Mar 26, 2025Updated last year
- lightweight system for profiling XDP applications using kfuncs☆21Mar 25, 2026Updated 6 months ago
- Automated Reasoning Infrastructure & Applications☆17Sep 19, 2026Updated 3 weeks ago
- A tool for exploring where BPF stack usage comes from☆43Sep 24, 2026Updated 3 weeks ago
- Making eBPF verifier errors as friendly as Rust compiler errors, and let LLM fix it.☆21Aug 5, 2026Updated 2 months ago
- ☆27Jun 5, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🐝 bpftrace language server☆22Aug 30, 2026Updated last month
- ☆477Oct 27, 2025Updated 11 months ago
- Write eBPF programs in Pure Python☆251Updated this week
- SystemTap games run in Linux kernel☆18Jul 29, 2011Updated 15 years ago
- A randomized program fuzzer for the Rust programming language☆67Jul 21, 2023Updated 3 years ago
- DINT: Fast In-Kernel Distributed Transactions with eBPF☆52Jul 6, 2024Updated 2 years ago
- tool of llm-based indirect-call analyzer☆32Sep 27, 2026Updated 3 weeks ago
- KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities | 🏆 Best Practical Paper Award of RAID 2024☆90Oct 15, 2025Updated last year
- bypass system calls using BPF☆52Apr 1, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- BPF portability analyzer for compiled eBPF object files. Reports minimum kernel version requirements, data flow patterns, and CO-RE cover…☆51Apr 21, 2026Updated 5 months ago
- A compiler framework for eBPF programs☆23Oct 1, 2026Updated 2 weeks ago
- ☆21Jun 24, 2021Updated 5 years ago
- eBPF Standard Documentation☆52Sep 14, 2024Updated 2 years ago
- An OCaml extension for RISC-V☆16Nov 6, 2020Updated 5 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 6 years ago
- ☆12Mar 8, 2025Updated last year