Trait that represents a set according to Zermelo–Fraenkel set theory with the axiom of choice (ZFC).
Rust bindings for the Listen Notes Podcast API
A Rust library for algebraic structures called tracts, which generalize fields and hyperfields.
A digital enneagram
A stable and high-performance low-level memory management library for Rust, providing fixed-capacity pools and deterministic allocation for latency-sensitive systems.
Domain-neutral deterministic microkernel for virtual worlds. WAL-backed, bit-identical replay, invariant-lifetime shell brand, no async / no unsafe / no floating-point in canonical paths.
Safe Rust bindings to the Vampire theorem prover for first-order logic
Propositional logic with exponentials
A more type-safe take on Rust stackless coroutines
The Reasoning Engine — Auditable Reasoning for Production AI | Rust-Native | Turn Prompts into Protocols
secp256k1 subsystem
Every value is origin, at a boundary, or contents. The compiler knows which.