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
newton data provider
PostgreSQL schema-as-code management tool
PostgreSQL sequence primitives for RustUse
Automatic API generator that creates a REST API mirror of a database in Rust
Concurrent URL status checker that captures comprehensive metadata in SQLite.
SQLite-based knowledge graph MCP server for persistent memory
Rust Client for Montycat - High-Performance NoSQL Database. The Fastest, Safest, and Most Elegant Database Client Ever Built in Rust.
Core library for grit: event types, CRDT projections, hashing, and sled store
Git WAL, sync, and snapshot operations for grit
IPC types and client for grit daemon communication