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.
garjan — Environmental and nature sound synthesis: thunder, rain, wind, fire, impacts, ambience
Attribute to use on the `trait` methods (or associated functions) that you wish to "seal", a.k.a., render them `final`.
Command-line tool to find build artifacts and thing occupying space on your computer. Shatters records not glass.
Provide an asynchronous LLM caller that can integrate with various LLM services, including Ollama.
Analyze a Rust crate's module graph and propose a provably-acyclic split into workspace crates, with per-cut refactor suggestions and a CI architecture-fitness guard.