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:
- Memory Management ToolKit☆37Updated 4 months ago
- A functional query language, implemented in Rust☆36Updated 3 weeks ago
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- world's worst interpreter☆65Updated 7 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆49Updated 3 weeks ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Updated last year
- A general purpose relational language☆19Updated 5 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated 6 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- An optimizing compiler for a large subset of the C programming language☆26Updated 3 months ago
- An interactive Datalog☆56Updated last week
- A ridiculous Python interpreter written—from scratch—in Rust.☆25Updated last week
- A lighweight and parallel snapshot testing framework in rust☆37Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆109Updated last week
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A Swift implementation of the MARPA algorithms☆20Updated 10 months ago
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆40Updated this week
- ☆25Updated 3 years ago
- ☆18Updated last year
- Compiler for the Vale programming language - http://vale.dev/☆34Updated last year
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆22Updated 2 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆82Updated last year
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆50Updated 5 months ago
- My personal standard for how to set up a Javascript workspace☆15Updated 2 years ago
- ☆24Updated 11 months ago