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.
SQLite storage backend for the kanban project management tool
A developer-friendly ORM for Rust with clean, expressive syntax
Wayland client protocols implemented in async as handlers using the Actor-model and tokio messaging
Runtime-agnostic procedural macros for the wasm-dbms DBMS engine.
Configuration-driven REST backend library for Rust with PostgreSQL — define schemas, tables, and APIs in JSON, get a production-grade REST service.
KYC/AML banking transaction generator for synthetic data - compliance testing and fraud analytics
🦸 An unintrusive ORM for Rust
Product OS : Store Macros provides a highly flexible higher order framework for defining SQL queries by using Rust directly. This crate is to be used with Product OS : Store.
Hyper performant polyglot Database driver
A Rust terminal database client focused on reliable SQL editing.
Core domain types for TSQL.