mwillsey / egg
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
- Modeling futexes in TLA+☆20Updated 7 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆23Updated 2 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated 8 months ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- The Pulse separation logic DSL for F*☆16Updated 2 weeks ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 4 months ago
- Memory Management ToolKit☆35Updated last week
- A general purpose relational language☆20Updated 5 years ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- ☆11Updated 3 years ago
- Animation of Yves Lafont's Interaction Combinators☆16Updated 3 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆36Updated 8 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆14Updated 9 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- world's worst interpreter☆60Updated 2 weeks ago
- An experimental programming language for ergonomic software verification☆16Updated last week
- An optimizing compiler for a large subset of the C programming language☆25Updated last week
- Rust BF interpreters☆12Updated last year
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago
- Compiler for the Vale programming language - http://vale.dev/☆32Updated 10 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆39Updated 2 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 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…☆52Updated this week
- ☆81Updated 6 months ago
- Translate Python and JavaScript into MLIR☆15Updated 2 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆28Updated this week
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year