A Rust SDK for building applications on the Arch Network blockchain platform. Provides tools and interfaces for developing, testing, and deploying programs with native Bitcoin integration.
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.
Drasi Core
Drasi Core Garnet/Redis Index Plugin
Drasi Core RocksDb Index Plugin
Drasi Core Middleware
Drasi Core Abstract Syntax Tree
Drasi Core Cypher Parser
Drasi Core GQL Parser
A Rust SDK for building applications on the Arch Network blockchain platform. Provides tools and interfaces for developing, testing, and deploying programs with native Bitcoin integration.
CLI tool for deploying Rust apps to Google Cloud Run with Supabase
Cross compile Cargo project to Windows msvc target with ease