Noema IOC and DI framework for Rust
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.
Magic-wormhole for AI agents — bilateral signed-message bus over a mailbox relay
Measure wire bytes and timing for identity / gzip / brotli responses across a site's assets.
Type-safe event DAG topology. Edges are event types; structural checks are walks.
TOML-driven pipeline configuration + multi-accelerator dispatch for FPV/edge deployments
Pure-Rust 32-bit x86 emulator + PE loader + Video for Windows host that lets oxideav delegate decoding to legitimately-licensed Windows codec DLLs on any platform — for rare/legacy codec compatibility, not day-to-day playback. See docs/winmf/winmf-emulator.md for the design contract.
Pure-Rust AV1 codec — orphan-rebuild scaffold pending clean-room re-implementation.
High-performance AI coding agent CLI - Rust port of Pi Agent
Optional dialect function catalogs for polyglot-sql semantic validation
Shape A pure-config OpenAPI MCP server binary — point it at a config.toml (+ optional OpenAPI spec) and serve a production MCP server with no Rust required
Dead-letter queue wrapper EventSink for CellOS — spills CloudEvents to disk when the primary sink fails. Replayable.