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:
- world's worst interpreter☆62Updated 3 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated this week
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆27Updated 2 years ago
- Memory Management ToolKit☆36Updated last month
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Fast WebAssembly Baseline Compiler☆59Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 2 months ago
- A Swift implementation of the MARPA algorithms☆20Updated 7 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆55Updated 2 weeks ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆46Updated last month
- Prototyping the performance of various components of a theoretical faster Twitter☆66Updated 2 years ago
- ☆11Updated 3 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆73Updated last month
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- An interactive Datalog☆47Updated last week
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Datalog with equality for rust☆68Updated this week
- ☆83Updated 10 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…☆83Updated 2 weeks ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆39Updated this week
- An experimental programming language for ergonomic software verification☆16Updated 2 months ago
- MimIR is my Intermediate Representation☆71Updated last week
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆71Updated last week
- A general purpose relational language☆19Updated 5 years ago
- Proof-of-concept for a memory-efficient data structure for zooming billion-event traces☆70Updated 4 years ago