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 5 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 10 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- 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…☆57Updated 2 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆22Updated last year
- A Swift implementation of the MARPA algorithms☆20Updated 9 months ago
- A general purpose relational language☆19Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆32Updated 5 months ago
- Memory Management ToolKit☆37Updated 3 months ago
- Various implementation of byte matrix multiplication☆26Updated 9 months ago
- Datalog engine based on DuckDB☆10Updated 2 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆44Updated this week
- MimIR is my Intermediate Representation☆78Updated this week
- CHR2 to SQL conversion☆14Updated 10 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated last year
- A ridiculous Python interpreter written—from scratch—in Rust.☆24Updated this week
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆81Updated last year
- benchmarking e-graph extraction☆46Updated 5 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆103Updated 3 years ago
- An experimental optimizing compiler for Bril☆78Updated last week
- ☆83Updated 11 months ago
- Datalog with equality for rust☆69Updated 2 weeks ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated 2 years ago
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- Embedded Universal DSL: a good DSL for us, by us☆48Updated this week
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago