miestrode / ekegeLinks
A different approach to an E-graph library
☆25Updated last month
Alternatives and similar repositories for ekege
Users that are interested in ekege are comparing it to the libraries listed below
Sorting:
- Easy SMT solver interaction☆35Updated 2 months ago
- Scope Graph Implementation in Rust☆27Updated 6 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆30Updated last week
- ☆58Updated 8 months ago
- New register allocator designed as a successor to regalloc2☆38Updated 3 months ago
- Transport-polymorphic, asynchronous session types for Rust☆62Updated 2 years ago
- An experimental optimizing compiler for Bril☆69Updated this week
- Wasm Analysis Framework For Lightweight Experiments☆46Updated 6 months ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆50Updated 2 months ago
- A memory efficient syntax tree for language developers☆60Updated this week
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- ☆14Updated 2 weeks ago
- We have Crater At Home☆34Updated 7 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- Datalog with equality for rust☆68Updated last month
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆38Updated this week
- A toy incremental computation framework☆15Updated 4 years ago
- LR-style Parser Generator☆19Updated last week
- Example implementation of stack tokens for Rust☆34Updated 2 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- The Pulse separation logic DSL for F*☆16Updated this week
- A Rust library for manipulating and evaluating Boolean expressions and BDDs☆32Updated 4 years ago
- ☆32Updated 11 months ago
- Rust macros that produce the name of the function they're invoked within.☆22Updated 3 years ago
- Rust LLVM bindings☆31Updated 2 years ago
- A highly experiment portable runtime☆19Updated last year
- A lifetime inference algorithm for the Rust programming language written in Soufflé.☆24Updated 5 years ago