Utility belt for transforming speech-to-text data
Command line interface for Markdown CSV Document packages.
Core parser, validator, and exporter for Markdown CSV Document packages.
Model Context Protocol server for Markdown CSV Document packages.
Read-only SQL query engine for Markdown CSV Document package tables.
HTML renderer for Markdown CSV Document packages.
Raw WebAssembly bindings for Markdown CSV Document packages.
Binary that integrates XLS capabilities into a driver program
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.
Causal Dynamical Triangulations in d-dimensions
Disaggregate origin/destination data from zones to points
Deterministic Structural Regime Dynamics demonstrator for trust-gated causal topology sweeps
No description provided.
No description provided.