Shared development tools for Rust projects - character validation, release automation, and more
A secure, high-performance messaging protocol library
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 in-process authorization engine for Rust with composable policies and request-scoped fact loading.
DIG L2 global coin state database — persistent UTXO store with Merkle proofs, hint indexing, and rollback support
Core engine for grund: scanner, checker, show, fmt, config, and shared data APIs.
Disjoint linear algebra for constraint systems — fracture into independent blocks, coalesce provably correct
A high-performance, cloneable progress tracker with minimal locking overhead.
RISC-V formal verification via Sail ISA oracle — combinational + crypto + vector
Shared errors, process lifecycle helpers, and fast-path primitives for corsa
A shared memory library
CLI to run checks before installing or using Edera