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 lightweight TUI dashboard for API health monitoring built with Rust and Ratatui.
The name TegridyDB (short for TegDB) is inspired by the Tegridy Farm in South Park and tries to correct some of the wrong database implementations, such as null support, implicit conversion support, etc.
MoosicBox Marketing Website
Concurrent URL status checker that captures comprehensive metadata in SQLite.
Berth CLI - the safe runtime & package manager for MCP servers
Berth registry client and types
Berth process management runtime
⌨️ $ The official command-line interface (CLI) for managing Rullst applications.📜🦀🌐
📜🦀🌐 Framework Web FullStack for Rust language 🌐🦀📜
JSX-like compilation macros for Rullst framework
Production-ready Rust backend framework with type-enforced API versioning