Multiplicative-additive linear System L with exponentials, embedded in Rust's type system
wit.ai client library
Safety-critical cognitive safety library for AI agents. 4-tier architecture (Resource Body, Kernel, Working Memory, Sifter) with formal verification primitives, detection layer, and integration primitives.
High-speed zkSNARKs without trusted setup
Terminal UI for monitoring AI coding agents (Claude Code, Codex, Aider, Cursor, Gemini, Goose, ...) — like top, but for agents.
Host runtime shim for Greentic runner: config, pack loading, activity handling
Delegatable Anonymous Credentials (Delano Creds) in pure Rust.
Secret-sharing primitives (Shamir, Blakley, ramp, VSS, CRT, visual, etc.) implemented directly from the original papers with no external dependencies.
The first compiled Unix shell — bytecode VM, worker pool, AOP intercept, Rkyv caching
No description provided.
No description provided.
No description provided.
No description provided.