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.
Pluggable behavior models for FRAME Suite pallets, enabling runtime-configurable logic and evaluation strategies
Binary that integrates XLS capabilities into a driver program
A highly parallel Perl 5 interpreter written in Rust
CKB RPC server
Rust bindings for the Listen Notes Podcast API
🔢 Seamless mapping between rust enums and custom postgres types or regular lookup tables, with automatically generated consistency checks.
CryptGuard is a post-quantum cryptography library with support for Kyber, Falcon, Dilithium in combination with AES and XChaCha20.
This proc macro attribute will allow you to store the enum as integer.
This proc macro attribute will allow you to store the target struct as json in TEXT field in diesel sqlite.
abstractions for filtering which OutputGroups we may use in coin selection -- an OutputGroup is a group of UTXOs paid to the same output script
Extra Functions for DataFusion