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.
This is the SDK for Rust. Like all BlockChyp SDKs, it provides a full client for the BlockChyp gateway and BlockChyp payment terminals.
Rust bindings for the Listen Notes Podcast API
A comprehensive Rust library for validating Iranian bank cards and IBANs (Sheba).
Deterministic structural semiotics engine for residual-based meaning extraction with reproducible artifacts
Credit data pipeline simulator — Core Banking, Mapping, Rulepack, Regulator (OJK)
Validate and generate checksum-correct IBANs, personal IDs, bank accounts, credit cards, SWIFT/BIC, company IDs, driver's licenses, tax IDs, and passports.
A comprehensive Rust library for parsing and analyzing Protein Data Bank (PDB) files
All-in-one Rust library for PromptPay & EMVCo QR Codes
A fast, type-safe Rust implementation of MXMessage for parsing MX messages.
KYC/AML banking transaction generator for synthetic data - compliance testing and fraud analytics
High-performance validation for Ecuadorian government IDs (cédula, RUC) and financial data (IBAN)