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:
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆27Updated 2 years ago
- An optimizing compiler for a large subset of the C programming language☆26Updated last month
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 7 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated last week
- Fast WebAssembly Baseline Compiler☆57Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Memory Management ToolKit☆36Updated 2 weeks ago
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- 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 last week
- ☆11Updated 3 years ago
- My personal standard for how to set up a Javascript workspace☆14Updated 2 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆38Updated 2 months ago
- The Daedalus data description language☆76Updated 4 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- world's worst interpreter☆62Updated 3 months ago
- Datalog with equality for rust☆68Updated last week
- CHR2 to SQL conversion☆14Updated 9 years ago
- the WebAssembly partial evaluator☆85Updated 3 weeks ago
- A general purpose relational language☆19Updated 5 years ago
- A ridiculous Python interpreter written—from scratch—in Rust.☆23Updated this week
- An implementation of "Regular Expression Matching: the Virtual Machine Approach"☆22Updated 11 months ago
- A lighweight and parallel snapshot testing framework in rust☆33Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆42Updated 5 months ago
- A Swift implementation of the MARPA algorithms☆20Updated 6 months ago
- ☆82Updated 9 months ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆44Updated 3 weeks ago