☆18Jun 9, 2023Updated 2 years ago
Alternatives and similar repositories for exoverifier
Users that are interested in exoverifier are comparing it to the libraries listed below
Sorting:
- Verification of BPF JIT compilers☆58Jul 3, 2023Updated 2 years ago
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 2 years ago
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated last year
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆21Sep 20, 2025Updated 5 months ago
- eBPF verifier based on abstract interpretation☆455Updated this week
- Utilities for Cilium networking performance evaluation☆61Feb 13, 2026Updated 3 weeks ago
- ☆36Mar 12, 2025Updated 11 months ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- eBPF summit demo☆34Oct 28, 2020Updated 5 years ago
- ☆49Feb 25, 2026Updated last week
- multi platform game engine☆11Sep 1, 2025Updated 6 months ago
- ☆16Feb 16, 2026Updated 2 weeks ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Roboadvisors claim they are democratizing the access to advanced advisory services of wealth management. Well, we think that if it is not…☆11Jun 10, 2021Updated 4 years ago
- antifunext☆38Jun 27, 2024Updated last year
- A bunch of shell scripts and small rust programs for my personal use☆12Updated this week
- Operator for CSI Driver Manila to manage its lifecycle☆11Feb 26, 2026Updated last week
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Low level access to BCM2837 SoC on Raspberry Pi 3 Model B/B+☆14Feb 23, 2021Updated 5 years ago
- Elm bindings for regl.☆12Jun 19, 2025Updated 8 months ago
- Container Registry Synchronization made easy and fast☆12Oct 7, 2021Updated 4 years ago
- Basic utility to launch an ARM binary from the SD card of a Wii.☆15Feb 19, 2024Updated 2 years ago
- Cellular automata environment written in Common Lisp☆17Apr 17, 2021Updated 4 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- Repository of papers released by Modulus Labs☆14Mar 13, 2024Updated last year
- A simple utility that allows building local projects on a remote server.☆12Dec 6, 2014Updated 11 years ago
- Experimental Work in Progress Nintendo 64 emulator written in Rust☆10Feb 8, 2022Updated 4 years ago
- ☆13Oct 9, 2025Updated 4 months ago
- An intermediate representation language for JITs☆13Feb 25, 2026Updated last week
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Operator to manage deadmanssnitch configs for Openshift Dedicated☆13Feb 17, 2026Updated 2 weeks ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Nmap results are a semigroup☆13Jul 8, 2021Updated 4 years ago
- provides Rust interface of fetching youtube live chat comments☆10Dec 16, 2024Updated last year
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Updated this week