A modern editor with a backend written in Rust.

egg is a flexible, high-performance e-graph library

egraphs + datalog!

A collaborative environment for formal, interoperable, conceptual modeling

MeTTa Optimal Reduction Kernel

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