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:
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated this week
- egraphs-good website☆17Updated 7 months ago
- Memory Management ToolKit☆35Updated 2 weeks ago
- A general purpose relational language☆19Updated 5 years ago
- An optimizing compiler for a large subset of the C programming language☆26Updated this week
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- A collection of lambda calculus interpreters and development tools☆14Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- wait-free 4-level 64-bit pagetable for contiguous low-contention concurrent metadata☆37Updated 9 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆25Updated 2 years ago
- Modeling futexes in TLA+☆20Updated 7 months ago
- Animation of Yves Lafont's Interaction Combinators☆18Updated 3 years ago
- An experimental programming language for ergonomic software verification☆16Updated this week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- ☆19Updated 2 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆15Updated last year
- ☆14Updated last year
- The Pulse separation logic DSL for F*☆16Updated last week
- ☆11Updated 3 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆30Updated last week
- Rust BF interpreters☆12Updated last year
- Programming Language for Continuous Deep Analytics☆47Updated last year
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆31Updated last year
- Compiler for the Vale programming language - http://vale.dev/☆32Updated 11 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Preview Zig's incremental linker state in interactive HTML☆45Updated 3 years ago
- Datalog with equality for rust☆68Updated 3 weeks ago