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.
🚀 An unofficial next-generation TUI dashboard for Claude Code project management - Monitor usage, track todos, analyze costs
Compile-time policy enforcement and taint tracking framework for Rust
Deterministic one-way data sanitization engine
Fast neural network primitives for Lattice - tiny models, fast inference
Content sanitization, exfiltration guard, PII filtering, and quarantine for Zeph
BitLocker Control Utility Automates the process of mounting and unmounting BitLocker encrypted drives using dislocker.
an esoteric gopher server
A tool to generate hashes from the command line.
Provider-agnostic model metadata (context window, capabilities, quantization) and probe traits for Rig agents.
Provider-agnostic model metadata (context window, capabilities, quantization) and probe traits for Rig agents.
Download videos with yt-dlp automatically. You can even download multiple videos at the same time!