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.
Reasoning engine for distributed backend & AI orchestration. Coordinate services, databases, and AI agents with business rules (GRL).
Cached, composable, reactive surface for Vantage Vistas
High-performance modern Wilkinson's formula parsing for statistical models. Parses R-style formulas into structured JSON metadata supporting linear models, mixed effects, and complex statistical specifications.
TypeQL Language for Rust
A wiki-like markdown- and git-powered tool for structured knowledge
A Rust library for reading Thai National ID smart cards via PC/SC
CLI air quality checker: 14-signal comfort, event detection, pollution fronts, source attribution, sensor/model merge
Proc-macro wrapper for limen-codegen.
Reusable code generator for Limen graphs (proc-macro and build.rs compatible).
Limen core contracts and primitives.
Limen node implementations.
Provides validation methods for models in the LumberYard Sinatra app and command line application.
The Citizen Budget budget simulation model
No description provided.
No description provided.
No description provided.