Collection of math adapters to decouple your application from math libraries' implementations and to provide both inter-libraries compatibility and affordable exchangeability.
A pure Rust library for the numerical integration of real or complex valued functions of real variables in multiple dimensions.
An mdbook preprocessor to use typst to render math.
Adaptive LLL algorithm for solving SVP
DSFB-Database: deterministic, read-only structural observer for residual trajectories in SQL database telemetry. Empirical prior-art demonstration on Snowset, SQLShare, CEB, JOB, and TPC-DS.
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.
A highly parallel Perl 5 interpreter written in Rust
Adaptive sampling of parametric
Adaptive Gauss-Kronrod Integration in Rust
Unified intelligence layer — knowledge graphs, adaptive prompting, RAG, spectral math, and code analysis for the Brainwires Agent Framework
Core types, traits, and abstractions for the OxiPhysics engine
Adapts raw on-chain LLAMMA data into llamma-math pool instances. Variant detection, pool construction.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.