Results for math_ml

AsciiMath parsing and rendering.

A Machine Learning library for Rust

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.

AsciiMath parser

A highly parallel Perl 5 interpreter written in Rust

Basic Machine Learning Subsystems

Reverse-mode autodifferentiation of computational graphs with tensors and more for machine learning.

Safe, formally verified library for math, crypto, parsing, validation, and ML - Rust bindings

SIMD vectorized implementations of various math functions used in ML models

A deterministic numerical programming language for reproducible computation, ML pipelines, and scientific computing

CJC-Lang (Computational Jacobian Core) — a deterministic numerical programming language for reproducible computation, ML pipelines, scientific computing, and physics-informed neural networks

Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels