Composite inventory of the CAR agents, capabilities and models reachable across a fleet of instances, and the wire contract for farming verified coding…
Virtual hardware-in-the-loop runtime: run unmodified firmware on an emulated MCU with every peripheral, chip model and unit of virtual time in Rust, and a fork…
Training on hanzo-ml: one model across heterogeneous machines (DiLoCo local SGD, bf16 deltas, bit-identical resume), and the DSpark draft trainer on it.
GUI-free faceting-design editor logic shared by the desktop editor and the wasm web app: the EditorSession (design, undo/redo with caller-supplied coalescing…
AI-written code has no author; it has causes. Measures how much AI-tagged code survives in any git repo and records the prompt, model and files behind every…
The BREP MCP automation server: hosts the BREP CAD app headlessly under egui_kittest and serves the BREP_mcp_core Model Context Protocol surface over stdio or…
Linear and generalized linear mixed-effects models (lme4-style formulas) in Rust, validated against lme4 and MixedModels.jl; engine for the mixeff R package
The shared foundation of the FerroBRIDGE mapping languages: the common header model, the YAML loader, the mapping registry, the diagnostic model, and openEHR…
The FHIRconnect mapping language for Rust: the mapping file model and its validation, context resolution into an immutable program, and the bidirectional…
Weight provenance: per-file SHA-256 manifests of model weights, signed brain_manifest records on every load/swap, and drift verification — which manitou was in…