A personal database for data sovereignty with AI-powered ingestion
Interactive REPL and CLI for PowDB — 3-10x faster than SQLite on aggregates
PowQL lexer, parser, planner, and executor — compiled query engine for PowDB
Async TCP server for PowDB with a binary wire protocol — pure Rust, no SQL parsing layer
Slotted-page heap, B+tree indexes, and WAL — pure-Rust storage engine for PowDB
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.
High-performance AI coding agent CLI - Rust port of Pi Agent
ggen is a deterministic, language-agnostic code generation framework that treats software artifacts as projections of knowledge graphs.
Tree-sitter grammar inspection tool - CLI and MCP server
A blazingly fast file watcher that executes commands when files change
Cryptographic identity for AI agents. Replaces hardcoded API keys with offline-verifiable Ed25519 tokens.
Runtime fuzzing and invariant-testing harness for MCP servers — catch crashes, hangs, schema drift, and state leaks before they ship.