miestrode / ekegeLinks
A different approach to an E-graph library
☆25Updated 3 weeks ago
Alternatives and similar repositories for ekege
Users that are interested in ekege are comparing it to the libraries listed below
Sorting:
- ☆58Updated 9 months ago
- Easy SMT solver interaction☆35Updated 3 months ago
- Transport-polymorphic, asynchronous session types for Rust☆63Updated 2 years ago
- Scope Graph Implementation in Rust☆27Updated 7 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆31Updated this week
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 3 months ago
- Lift enum variants to the type-level.☆33Updated 4 years ago
- Datalog with equality for rust☆68Updated last month
- Atomic `dbg`/`eprintln`/`eprint` macros☆17Updated 3 months ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆50Updated 2 months ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- New register allocator designed as a successor to regalloc2☆38Updated last week
- LR-style Parser Generator☆19Updated 3 weeks ago
- Session Type EDSL for Rust☆103Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- A toy incremental computation framework☆15Updated 4 years ago
- We have Crater At Home☆35Updated 7 months ago
- Debugger written in Rust☆24Updated 2 years ago
- A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.☆66Updated last year
- A library for deadlock-free multiparty session-typed communication in Rust.☆30Updated 9 months ago
- 🎶 Choreographic programming in Rust 🎶☆57Updated 3 months ago
- Propositional logic with types in Rust☆62Updated last year
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- A highly experiment portable runtime☆19Updated last year
- ☆17Updated last year
- A symbolic evaluator for MIR☆19Updated 5 years ago
- The Pulse separation logic DSL for F*☆20Updated last week
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆11Updated 5 years ago