A highly customizable, open-addressing dictionary in Rust.
Enterprise password hashing for Rust: Argon2id / bcrypt / scrypt / PBKDF2 with PHC strings, KMS-backed pepper, and FIPS 140-3 routing through aws-lc-rs (CMVP Cert #4759).
A powerful, lock-free rate limiter for Rust: multiple algorithms behind one trait, sharded per-key state, bounded-memory eviction, retry-after, and a one-line Tier-1 API. Built against hostile traffic.
Blazing fast string search using bit-parallel algorithms - up to 8x faster than naive search
A brutally-safe, composable agent orchestration framework for building complex, multi-step workflows.
Brutally murdering Rust's type system one proof at a time.
Macros for type-level mathematical computation.
A passive RPG that lives in your terminal — your shell is the dungeon
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 Rust implementation for reading MDict dictionary files (.mdx format)