miestrode / ekege
A different approach to an E-graph library
☆22Updated 3 months ago
Alternatives and similar repositories for ekege:
Users that are interested in ekege are comparing it to the libraries listed below
- ☆58Updated 4 months ago
- LR-style Parser Generator☆17Updated this week
- A toy incremental computation framework☆15Updated 4 years ago
- Performance comparisons between various virtual interpreter implementation strategies☆32Updated 9 months ago
- ☆15Updated this week
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- An alternative `std`-like implementation built on origin☆25Updated 2 weeks ago
- Program analysis playground for a simple, imperative language☆36Updated 2 years ago
- Rust crates with map and set with interval keys (ranges x..y).☆13Updated 2 weeks ago
- exhaustive testing library☆63Updated 5 months ago
- A highly experiment portable runtime☆19Updated 9 months ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆94Updated 2 years ago
- Atomic `dbg`/`eprintln`/`eprint` macros☆17Updated 11 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆23Updated 8 months ago
- Rust LLVM bindings☆31Updated last year
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆32Updated 3 months ago
- A memory efficient syntax tree for language developers☆51Updated 4 months ago
- Datalog with equality for rust☆66Updated 2 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- A library for deadlock-free multiparty session-typed communication in Rust.☆27Updated 4 months ago
- Rust macros that produce the name of the function they're invoked within.☆22Updated 2 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆11Updated 5 years ago
- New register allocator designed as a successor to regalloc2☆30Updated last week
- Rust bindings for libgccjit☆20Updated last month
- Lift enum variants to the type-level.☆31Updated 3 years ago
- An experimental columnar arena☆42Updated 2 months ago
- A simple macro to create correct opaque pointers☆22Updated 3 years ago
- Reverse engineering framework.☆36Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last week
- Propositional logic with types in Rust☆60Updated last year