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.
Senior SysAdmin, Network Admin, Data Analyst, and Software Engineer living in your terminal. A high-precision local AI agent harness for LM Studio, Ollama, and other local OpenAI-compatible runtimes that runs 100% on your own silicon. Reads repos, edits files, runs builds, inspects full network state and workstation telemetry, and runs real Python/JS for data analysis.
Rust bindings for the Listen Notes Podcast API
The autonomous, self-improving AI agent. Single Rust binary. Every channel. Install with: cargo install opencrabs
A highly parallel Perl 5 interpreter written in Rust
Ask questions about webpack compilation statistics
Ask questions about webpack compilation statistics
Medium to hard Rust questions with complete explanations
Audit the gap between declared and compiled dependencies
A Cargo subcommand for deploying and activating layered AI agent skills in Rust and Python projects
Interactive quizzes for your mdBook
Tool to convert Lean files to Markdown with special features for documentation