☆21Jun 9, 2023Updated 3 years ago
Alternatives and similar repositories for exoverifier
Users that are interested in exoverifier are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 3 years ago
- Verification of BPF JIT compilers☆60Jul 3, 2023Updated 3 years ago
- lightweight system for profiling XDP applications using kfuncs☆21Mar 25, 2026Updated 7 months ago
- ☆52Jul 1, 2026Updated 4 months ago
- ☆37Mar 12, 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.
- 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 3 weeks ago
- ☆11Mar 8, 2021Updated 5 years ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated last year
- eBPF verifier based on abstract interpretation☆472Updated this week
- Convert libvirt-QEMU-save (LQS) files to raw memory files☆14Sep 22, 2018Updated 8 years ago
- Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)☆11May 25, 2016Updated 10 years ago
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated 2 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 6 years ago
- A complete reimplementation of xv6 operating system (RISC-V) in Zig.☆14Oct 23, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆13Jun 18, 2025Updated last year
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 7 years ago
- antifunext☆41Jun 27, 2024Updated 2 years ago
- Quickly hashing all subexpressions of a program modulo alpha-renaming☆18Sep 7, 2021Updated 5 years ago
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated 2 weeks ago
- The hardware implementation of UDP in Bluespec SystemVerilog☆14Jun 3, 2024Updated 2 years ago
- ☆12Jan 16, 2026Updated 9 months ago
- OPENED Tool to extract specific eBPF functions from large monoliths (tested on Katran, Mizar, Cilium..)☆14Jun 27, 2023Updated 3 years ago
- ☆23Mar 21, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🔬 BPF Compiler Collection (BCC) frontend for Node.js☆21Mar 5, 2023Updated 3 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 3 years ago
- A clean, modern, and fully responsive HTML résumé (CV) template☆14Mar 13, 2026Updated 7 months ago
- Alternate completing-read-multiple that uses completing-read☆10Jan 17, 2016Updated 10 years ago
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆32Oct 14, 2026Updated 2 weeks ago
- OpenStack Heat templates for Clearwater deployments☆11Feb 26, 2020Updated 6 years ago
- eBPF summit demo☆34Oct 28, 2020Updated 6 years ago
- Simodense: a RISC-V softcore for custom SIMD instructions☆17Aug 9, 2026Updated 2 months ago
- 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.
- Artifact for paper: Breaking and Fixing Speculative Load Hardening☆11Jan 3, 2024Updated 2 years ago
- One dashboard to check them all☆17Nov 11, 2023Updated 2 years ago
- A compiler framework for eBPF programs☆23Oct 1, 2026Updated last month
- Ansible role to install and configure NGINX App Protect (WAF and DoS) for NGINX Plus on your target host☆23Oct 26, 2026Updated last week
- Capture screen content with xlib in rust☆12May 22, 2017Updated 9 years ago
- Syntax highlighting for various configs and file-formats too specific to warrant their own repositories.☆23Oct 24, 2026Updated last week
- ☆13Oct 19, 2026Updated 2 weeks ago