A linear algebra convenience library for the single-rust library. Can be used externally as well.
A compiler for the minimalistic programming language single-variable-algebra.
A specialized Rust library for statistical analysis of single-cell data, part of the single-rust ecosystem.
Rust bindings for libmat, an stb-style single-header linear algebra library in pure C
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
A secure, high-performance messaging protocol library
A chess library
A general matrix and vector operations library using Apple's Accelerate framework.
Computational causality library. Provides causality graph, collections, context and causal reasoning.
Programmable ethics for DeepCausality.
Numra: a composable Rust workspace for scientific computing — differential equations (ODE/SDE/DDE/FDE/IDE/PDE/SPDE), optimization, automatic differentiation, linear algebra, statistics, signal processing.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.