AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
A CLI app containing a set of useful tools for Listenbrainz
Consensus-free distributed resource-sharing mesh for edge fleets, pairing discrete exterior calculus with hierarchical active inference.
I can't believe it's a database | Simple embedded 3-in-1 database
A high-performance, lock-free price level implementation for limit order books in Rust. This library provides the building blocks for creating efficient trading systems with support for multiple order types and concurrent access patterns.
Hyperreal-backed physical simulation primitives
A derivation engine for CGA Shape Grammars.
NTFS USN Journal parser with full path reconstruction via journal rewind
Bevy integration for Symbios Shape.
Feynman graph topology identification
A total, conformance-tested implementation of UCUM (Unified Code for Units of Measure): parse, validate, analyze, compare and convert units.
Exact-aware packing carriers and feasibility replay for the Hyper ecosystem
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.