Executable empirical companion for the DSFB theorem banks and paper figures
AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `use axon::*` so existing call sites keep working unchanged.
A Rust library for writing Excel streaming files
High-throughput Apache Doris Stream Load client for Rust
Gradient Boosted Regression Trees in Rust
CLI for executing Power Query M expressions via the Microsoft Fabric API; preview partitions, test transformations, inspect steps
CLI entry point for ThinkingLanguage (tl run, tl shell)
ThinkingLanguage — Type system and type checker
AI/ML integration for ThinkingLanguage — tensors, training, inference, LLM
Abstract Syntax Tree definitions for ThinkingLanguage
Bytecode compiler and VM for ThinkingLanguage (Phase 2)
Data engine for ThinkingLanguage — DataFusion, connectors, I/O
No description provided.
No description provided.