mwillsey / eggLinks
egg is a flexible, high-performance e-graph library
☆13Updated last year
Alternatives and similar repositories for egg
Users that are interested in egg are comparing it to the libraries listed below
Sorting:
- A Swift implementation of the MARPA algorithms☆20Updated last year
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- An interactive Datalog☆65Updated this week
- Fast WebAssembly Baseline Compiler☆61Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated last year
- A functional query language, implemented in Rust☆37Updated 2 months ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- A general purpose relational language☆19Updated 5 years ago
- Memory Management ToolKit☆37Updated 6 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 9 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆25Updated 2 years ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆124Updated last month
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated 2 years ago
- world's worst interpreter☆67Updated 9 months ago
- Datalog with equality for rust☆72Updated last month
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 10 years ago
- The Daedalus data description language☆87Updated this week
- library learning w egraphs☆25Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆81Updated last week
- A high-level API for interacting with SMT solvers.☆33Updated last month
- A little KV store implementation in OCaml to practice DB systems things☆33Updated 2 weeks ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 8 months ago
- Datalog engine based on DuckDB☆10Updated 2 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- the WebAssembly partial evaluator☆112Updated 5 months ago
- An optimizing compiler for a large subset of the C programming language☆26Updated 5 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆80Updated this week