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.
Rust client for the DrugFYI API — https://drugfyi.com
Rust client for the AnatomyFYI API — https://anatomyfyi.com
Rust client for the NutriFYI API — https://nutrifyi.com
Rust client for the PillFYI API — https://pillfyi.com
Battle-tested financial math for AI. 173 Excel-compatible functions validated against Gnumeric & R. MCP integration, Monte Carlo, Decision Trees, Real Options.
Event Service - An event administration microservice that interoperates with the event-matcher crate
Person Service (MPI) - A healthcare person identification and matching system
Worker Service - A worker administration microservice that interoperates with the worker-matcher crate
Master Patient Index (MPI) - A healthcare patient identification and matching system
Semantic-delta engines for entropyx — Rust via syn; tree-sitter for multi-language lands later.
Deterministic core types and schemas for entropyx repo-forensics.