Highlights
- Pro
Stars
8
stars
written in Rust
Clear filter
A modern editor with a backend written in Rust.
egg is a flexible, high-performance e-graph library
A collaborative environment for formal, interoperable, conceptual modeling
A persistent datastore backed by RocksDB with fuzzy key lookup using an arbitrary distance function accelerated by the SymSpell algorithm
A Rust implementation of the machines in "Warren's Abstract Machine: A Tutorial Reconstruction."
Iterator types for output permutations from a function combining multiple discrete factors