A toy implementation of the raft consistency protocol focused on speed
Shared components for tasker orchestration and worker systems
High-performance AI coding agent CLI - Rust port of Pi Agent
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.
A highly parallel Perl 5 interpreter written in Rust
Plugin pack for tramli — audit, eventstore, observability, resume, idempotency, hierarchy, diagram, docs, lint, testing, subflow
Spartan ZKP system over arkworks (fork for golden-dkg crate)
High-speed zkSNARKs without trusted setup
A state machine database with WAL durability
Panopticon — intelligent AI delegation framework
an extremely fast async mutex with alternative sync API
Git-backed findings tracker for AI coding agents