mwillsey / eggLinks
egg is a flexible, high-performance e-graph library
☆12Updated last year
Alternatives and similar repositories for egg
Users that are interested in egg are comparing it to the libraries listed below
Sorting:
- Debugging WebAssembly? Put some Whamm! on it.☆38Updated last week
- A general purpose relational language☆19Updated 5 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 9 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Fast WebAssembly Baseline Compiler☆59Updated 2 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆27Updated 3 years ago
- ☆83Updated 11 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Tracing JIT compiler and runtime for a subset of the JVM☆25Updated last year
- MimIR is my Intermediate Representation☆75Updated last week
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆47Updated 2 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆78Updated last week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- world's worst interpreter☆62Updated 5 months ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 4 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 4 months ago
- Memory Management ToolKit☆36Updated 2 months ago
- A collection of lambda calculus interpreters and development tools☆16Updated 2 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆76Updated last week
- An interactive Datalog☆51Updated this week
- ☆11Updated 3 years ago
- The Daedalus data description language☆80Updated 6 months ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated this week
- An optimizing compiler for a large subset of the C programming language☆26Updated last month
- Wasm SpecTec specification tools☆71Updated 2 weeks ago
- ☆23Updated 9 months ago
- ☆18Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆28Updated 4 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year