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.
Fast date ranges, holiday calendars, and trading hours for financial markets
command line utility for symbols used by Claude agents
Hypothesis-like property-based testing and shrinking.
Utility to move package.json through the time. Pin and upgrade your project in chunks!
Cryptographic accumulators with private proof update delegation. Supports RSA, class-group, and bilinear-pairing constructions.
Pure Rust library for reading whole slide images (digital pathology), including Mirax (.mrxs)
CLI to manage emails
Media accessibility tools including closed captions, audio description, and compliance
Rustls is a modern TLS library written in Rust. This is clia-mod using ring.
Rustls is a modern TLS library written in Rust.
Anonymous Credentials 2.0 implemention