Results for al_math

An n-dimensional linear algebra library.

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.

Global sensitivity analysis in Rust. Variance-based (Sobol'), Morris, FAST/eFAST/RBD-FAST, Borgonovo δ, PAWN, DGSM, regression (SRC/SRRC/PCC/PRCC), PCE surrogate, Shapley effects, and more. Implemented from the primary literature.

A General-Purpose 6D Collisionless Gravitational Dynamics Solver

Fast emulated quadruple (double-double) precision arithmetic

Causal consistency at nanosecond latency. Algebraic invariants without coordination.

Random prime number generation and primality checking library

Articulatory Moment Transform — language-agnostic phonetic name matching

Secure distributed substrate for multiparty transactions using write-once key-value storage with ARID-based addressing

Streaming ML in Rust -- gradient boosted trees, neural architectures (TTT/KAN/MoE/Mamba/SNN), AutoML, kernel methods, and composable pipelines

Semantic line break formatter for Org, LaTeX, Markdown, and plaintext

A utility library, inspired mainly by Python.