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.
SBOM diff with supply-chain risk signals (CVEs, typosquats, maintainer-age).
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
Anthropic Claude LLM provider for the rune-chain framework — Claude 3 and Claude 4 families with streaming
Rust crate for manual tracing to LangSmith, providing similar ergonomics to the Python and TypeScript SDKs
Source adapters (PubMed, arXiv, OpenAlex, INSPIRE, EPO, PatentsView, Lens) and the paper download chain for scitadel.
Command-line interface for scitadel — programmable scientific literature retrieval.
Core domain models, services, and ports for the scitadel scientific-literature retrieval toolkit.
SQLite-backed repositories and migrations for scitadel.
BibTeX, JSON, and CSV exporters for scitadel search results.