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.
rustgym solutions
A highly parallel Perl 5 interpreter written in Rust
CLI tool for scraping and searching the Fedco Seeds tree catalog
Rust bindings for the Listen Notes Podcast API
Pure-Rust implementation of Hierarchical Navigable Small World (HNSW) approximate nearest-neighbour search
Transform Reddit Posts and Custom Text into Engaging Videos with Localization. Customize Content, Boost Speed, Share on Social Media – Experience its Excellence!
Predictive Coding Actor-Critic reinforcement learning framework — pure Rust, zero ML dependencies
Airgapped agentic TUI for local LLM inference with tool execution
Rhe — from Greek ῥέω (to flow). A first-principles stenography engine using temporal hand ordering.
Number-theory primitives and exact arithmetic for Rust — built for competitive programming, teaching, and recreational math. Miller-Rabin primality, sieves, factorization, modular arithmetic, generic rationals, complex numbers, and polynomials.
A tool for Path of Exile 2 to find the best craftpaths based on the categories: *most likely, most efficient and cheapest*, between a starting item and a target item.