uw-unsat / exoverifierView external linksLinks
☆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
- 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 4 months ago
- eBPF verifier based on abstract interpretation☆447Updated this week
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆30Oct 24, 2020Updated 5 years ago
- A tool designed to compare energy and emission costs between computer chips☆13Dec 9, 2023Updated 2 years ago
- eBPF summit demo☆34Oct 28, 2020Updated 5 years ago
- multi platform game engine☆11Sep 1, 2025Updated 5 months ago
- ☆48Jan 25, 2026Updated 2 weeks ago
- ☆16Jan 30, 2026Updated 2 weeks ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- antifunext☆38Jun 27, 2024Updated last year
- 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
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- An intermediate representation language for JITs☆12Jan 11, 2026Updated last month
- A bunch of shell scripts and small rust programs for my personal use☆12Feb 4, 2026Updated last week
- eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel☆16Jan 29, 2021Updated 5 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago
- Depth C++ library☆10Nov 15, 2018Updated 7 years ago
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆13Oct 22, 2025Updated 3 months ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆12Nov 17, 2022Updated 3 years ago
- lightweight system for profiling XDP applications using kfuncs☆19Jun 27, 2025Updated 7 months ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆12Dec 2, 2025Updated 2 months ago
- Operator for CSI Driver Manila to manage its lifecycle☆11Oct 7, 2025Updated 4 months ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- Elm bindings for regl.☆12Jun 19, 2025Updated 7 months ago
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- My playgrounderino for starkneterino☆13Nov 24, 2021Updated 4 years ago
- 疲労困憊していても書ける優しいプログラミング言語のコンパイラ☆11Dec 25, 2025Updated last month
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 2 years ago
- Low level access to BCM2837 SoC on Raspberry Pi 3 Model B/B+☆14Feb 23, 2021Updated 4 years ago
- PPC instruction tests☆11Jan 22, 2024Updated 2 years ago
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Feb 1, 2026Updated last week
- provides Rust interface of fetching youtube live chat comments☆10Dec 16, 2024Updated last year
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- A Blarb virtual machine☆14Mar 15, 2020Updated 5 years ago
- A Study of Database Performance Sensitivity to Experiment Settings☆10May 31, 2022Updated 3 years ago
- Disassembly of the game.com boot ROM☆12Dec 10, 2020Updated 5 years ago