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.
Business document templates (invoices, offers, contracts) as an embeddable Rust library — powered by Typst, no CLI required
YAML-driven audit FSM engine for methodology-based audit artifact generation
ansible-like tool with a smaller scope, focused primarily on complementing dotfiles for cross-machine bliss
Schema-validated binary data for AI agents. JSON to .grm compiler with zero-copy FlatBuffers.
Proc-macros for the GERMANIC schema system
The Grand Orchestrator for Aicent Stack. The 128-bit supreme root of the indivisible 17-component sovereign AI lifeform 2026.
HTTP REST API caching middleware, to be used between load balancers and REST API workers.
Great Scott! Rust helpers for CGI—map RFC 3875 to hyper, glue tower services, and hit 88 mph without a flux capacitor. Evolved from mknet/cgi-rs.
Track active coding time with Claude Code and nudge yourself to take breaks
Rust client for the Solodit smart contract vulnerability database
An Apache ORC file reader for Rust