CLI tool for generating App Store-style marketing screenshots
Behavior contracts for AI agents — tested in your PR, enforced at runtime. Core engine: parser, writer, content-addressed store, replay, and nine-axis behavioral differ.
Adversarial red-teaming engine for AI output — static analysis, LLM review, sandbox execution
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.
Pure-Rust AV1 codec — orphan-rebuild scaffold pending clean-room re-implementation.
A3S Gateway - AI-native API gateway with reverse proxy, routing, and agent orchestration
Knowledge-base and retrieval evaluation harness for Rig agents.
Satellite Toolkit
Mercury celestial simulation crate for the MilkyWay SolarSystem workspace
Lockstep-style stateful property testing for Rust
A 3D game engine written in Rust
Simulation engine for Sagittarius A* — Kerr spacetime, accretion, jets, lensing, and shadow observables
No description provided.
No description provided.
