Minimal LAN agent-to-agent messaging for AI coding assistants
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.
a pretty TUI feed reader (RSS+ATOM) that stores articles locally as Markdown files
AI/Human task management system with file-based storage
A very minimal command-line RSS/Atom feed reader.
Local-first document database with CouchDB replication protocol support
CouchDB HTTP client adapter for RouchDB
In-memory storage adapter for RouchDB
Persistent local storage adapter for RouchDB using redb
Changes feed and live streaming for RouchDB
Core types, traits, and algorithms for RouchDB
Mango query selectors and map/reduce views for RouchDB