this is the description section
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 bindings for the Listen Notes Podcast API
Construct — memory-native AI agent runtime powered by Kumiho
An arbitrary-length-input hash function for competitive programming and experimental purposes.
Statistical post-hoc tests: Tukey HSD, Games-Howell, Dunnett, one-way ANOVA, and studentized range critical values — pure Rust, zero required dependencies
Derivatives and multiples pricing for racing and sports.
Pure Rust implementation of the Infomap community detection algorithm — information-theoretic clustering for directed, weighted, hierarchical graphs
A morse code practice tool
Constitution of the United States.
Recursively clean all LaTeX projects in a given directory
A library for console animations in Rust
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.