CATEGORY
Mathematics 4,394 crates
Data as of 2026-07-25 (crates.io database dump, timestamp 2026-07-25T02:00:36Z). Source: crates.io · db-dump.tar.gz · methodology & corrections.
antecedent-validateEffect refuters, sensitivity analysis, and validation diagnostics for the Antecedent engine; start with the `antecedent` crate32MIT OR Apache-2.0
lobatto-fftHigh-order FFT on Gauss–Lobatto grids and corresponding high-order solver for Poisson problems.32LGPL-3.0-only
oxisOXIS — Open eXtensible Instruments & Statistics: a validated quantitative-finance library, CLI, and REPL.32MIT OR Apache-2.0
srs-uncertaintyMonte Carlo sampling, distributions, P90/P50/P10 (over static-model realizations)32BUSL-1.1
zubr_dspa modular, fully parallelizable DSP pipeline for rust31non-standard
yatrosci-unitsUnit conversion and dimensional analysis for scientific computing31AGPL-3.0-or-later
graph-coloring-rsGraph coloring algorithms: greedy, backtracking, DSATUR, Welsh-Powell, and chromatic number bounds in pure Rust31MIT OR Apache-2.0
srs-gridderConvergent gridder (box degenerate case + full convergence)31BUSL-1.1
ferrum-ioNumPy-compatible file I/O (.npy, .npz, memory-mapped) for ferrum30MIT OR Apache-2.0
mongeOptimal transport and Earth Mover's Distance via Sinkhorn algorithm30MIT
statifyA lightweight and minimal statistics library for Rust30MIT
nanogptNanochat in Rust30Apache-2.0
polars-ta-classicPure-Rust reimplementation of pandas-ta-classic: 150 technical-analysis indicators + 62 candlestick patterns using Polars 0.4630MIT
prime-radiantUniversal coherence engine using sheaf Laplacian mathematics for AI safety, hallucination detection, and structural consistency…30MIT OR Apache-2.0
wminmlA minimal, blazing-fast WASM-powered machine learning library with SIMD acceleration30non-standard
ruvllm_sparse_attentionSubquadratic O(N log N) sparse attention kernel for Rust LLM inference on edge devices, with optional FastGRNN salience gating…30MIT
integer-blossomMinimum-weight perfect matching (blossom algorithm) on a general graph, with integer edge weights30MIT
formally-clithe open-source formal methods toolchain - command-line interface29non-standard
neco-spectralSpectral clustering via normalized Laplacian, LOBPCG, and k-means29MIT
ubiquity-hyperquiverHyperQuiver extension: multilinear hyperedges for complex multi-input interactions in directed graph structures29MIT OR Apache-2.0
ferrum-fftFFT operations (fft, ifft, rfft, fftfreq, plan caching) for ferrum29MIT OR Apache-2.0
stats-clawData science on the hot path: in-process, zero-dependency statistical computing for Rust (distributions, hypothesis tests,…29MIT OR Apache-2.0
poly_surgeSomewhat novel, fast incremental polytope surgery in Rust. Add and remove halfspaces, 11x-1200x faster than the standard 'just…29MIT OR Apache-2.0
neuriteA minimal, fast neural network playground in pure Rust for experimenting with architectures and learning rules.29MIT
vorothree3D Voronoi tessellation in Rust: a fast, feature-rich grid-based approach ready for WASM and TypeScript.29MIT/Apache-2.0
unit-intervalsConstrained f32/f64 wrapper types for normalized [0, 1] and [-1, 1] values.28EUPL-1.2
gaussian_kdeMultivariate kernel density estimation with Gaussian kernels and optionally weighed data points.28MPL-2.0
mccfrGame-agnostic Monte Carlo Counterfactual Regret Minimization framework28MIT
antecedent-attributionAnomaly, distribution-change, root-cause, and Shapley attribution for the Antecedent causal inference engine; start with the…28MIT OR Apache-2.0
antecedent-ioVersioned artifact containers and wire types (graphs, posteriors, model bundles) for the Antecedent engine; start with the…28MIT OR Apache-2.0
arael-faerfaer extensions: variable-block sparse matrix storage (block CSC), Schur-complement reduction, and a nested-dissection ordering28MIT
hydroplaneFloating but fast: float-agnostic, ISPC-style SPMD/SIMD infrastructure — write one kernel generic over the scalar element…28Apache-2.0
cliboardLive math whiteboard for your terminal — render LaTeX equations in the browser with per-step AI chat27MIT
deep-delta-learnAn implementation of Deeep Delta Learning as in 2601.0041727Apache-2.0
ubiquity-quiverDirected graph structures (quivers) for neural network-inspired computation with nodes, arrows, weights, and activations27MIT OR Apache-2.0
gcdsEfficient implementations of gcd algorithms27MIT
gradientlssDistributional Gradient Boosting for Location, Scale, and Shape27MIT
palbA fast and exact method for solving least absolute deviations line problems (Affine-linear L1 regression).27MIT OR Apache-2.0
smcprimeUltra-fast primality testing with Montgomery arithmetic (32-bit and 64-bit)27MIT
quantizeA simple quantization library.27MIT
foodshare-geoHigh-performance geospatial utilities for distance calculations and PostGIS parsing27MIT
gwriziennEasy and fast modular arithmetic, polynomial quotient rings27AGPL-3.0-only
swfpA soft-float library27MIT OR Apache-2.0
volterra-cgpoNephroid-confined CGPO finite-difference solver (Beris-Edwards + relaxation Stokes)27MIT
antifragileAntifragile is a Rust library implementing concepts from Nassim Nicholas Taleb's antifragility theory. The library provides a…26MIT
prdAn elegant, type-safe probability distribution library with PRD, dice rolling, and weighted random26MIT
nvana_rev_epochHigh-precision revenue distribution library with time-decay bonus epochs26MIT
kz80_bcArbitrary-precision decimal arithmetic language and calculator for Z8026BSD-3-Clause
oldies-cliInteractive CLI for OldiesRules - Run legacy simulators with modern UX26MIT OR Apache-2.0
oldies-guiModern GUI for OldiesRules - Real-time visualization with egui26MIT OR Apache-2.0
velvetryA type-safe fuzzy logic control library for Rust26MIT
bektorA simple vector, quaternion, geometry, and matrix library26GPL-3.0-only
small_is_primeprimality tests for the primitive integer types26MIT OR Apache-2.0
yatrosci-statsProbability distributions and statistical functions for SciRS26AGPL-3.0-or-later
ruvector-graph-transformerUnified graph transformer with proof-gated mutation substrate — 8 verified modules for physics, biological, manifold, temporal,…26MIT
ferrodec-decimal64no_std IEEE 754-2019 Decimal64 for embedded use, with Kani-verified properties26MIT OR Apache-2.0
qfixedBit-accurate fixed-point types with Q-notation for RTL digital twin modeling26MIT OR Apache-2.0
logicianType-safe SMT solver driver with fluent Term API, multi-solver fallback, and process watchdog25MIT
ferrum-linalgLinear algebra operations (decompositions, solvers, einsum) for ferrum25MIT OR Apache-2.0
axiA fully-featured all-in-one calculator with advanced graphing and solving25MIT OR Apache-2.0
partiClustering and hierarchical structure primitives25MIT OR Apache-2.0
ieee754_converterIEEE 754 Floating Point Binary Representation Converter with support for 16, 32, 64-bit and custom precision formats25MIT
oldies-modeldbModelDB model importer for legacy neural models in Rust25MIT OR Apache-2.0
incomplete-rexlPure-Rust modular arithmetic and NTT library with AVX-512 acceleration25Apache-2.0
algebra-basics-rsBasic algebra formulas: quadratic equation solver and 2x2 matrix operations.25MIT
raffineA 2D affine transformation library for Rust, inspired by Python's affine package.25MIT
neco-eccnecosystems series Reed-Solomon error correction over GF(2^8)25MIT
faddeeva-sysA rust binding for The Faddeeva Package25MIT
ruvector-graph-transformer-wasmWASM bindings for ruvector-graph-transformer: proof-gated graph attention in the browser25MIT
exprkitA mathematical expression parser and evaluator library, inspired by the ExprTk C++ library25MIT OR Apache-2.0
tellegenDifferentiable power flow, optimal power flow, and sensitivities in Rust.25MIT
rust_physics_engineA comprehensive, zero-dependency Rust library for physics, mathematics, and engineering computation — 1,600+ validated functions…24MIT
neco-stencilFinite-difference stencil operators on uniform 2D grids24MIT
snaphu-rsRust implementation of the SNAPHU C library24non-standard
deepcorr-normalizationLower level crate for DeepCorr which handles data normalization. Can be uses standalone too.24GPL-3.0-or-later
neco-dop853Dormand-Prince 8(5,3) adaptive Runge-Kutta integrator24MIT
lumen-geometryMathematical models for tubular anatomical structures (colon, bronchi, intestines)24MIT OR Apache-2.0
ionian-coreCore tensor engine and hardware abstraction for the Ionian AI framework.24MIT
subgameSafe + depth-limited subgame solving (world-partitioned belief + depth-limited continuation)24MIT
smart-big-rationalEfficient rational numbers for additions, subtractions and multiplications24Apache-2.0
hypervox_exprHigh-performance mathematical expression parser, AST optimizer (constant folding, CSE), and closure compiler with…24MIT OR Apache-2.0
ruqu-neural-decoderNeural Quantum Error Decoder (NQED) - GNN-based decoder with O(d^2) Mamba state-space architecture24MIT
set_theoryA comprehensive mathematical set theory library implementing standard set operations, multisets, and set laws verification24MIT
gemathType-safe game math with type-level units/spaces, typed angles, and explicit fallible ops (plus optional geometry/collision).24MIT OR Apache-2.0
cheesecakeMath animation engine24MIT
ferrodec-decimal32no_std IEEE 754-2019 Decimal32 for embedded use, with Kani-verified properties24MIT OR Apache-2.0
uk-paye2025/26 UK income tax (England/Wales/NI) bands, personal allowance taper, and National Insurance.24MIT
fcmaes-coreFast, parallel, gradient-free optimization algorithms implemented in pure Rust.24MIT
neco-gridfieldUniform 2D grids and triple-buffered field state23MIT
bevy_autodiff_fitPiecewise Chebyshev polynomial fitting for bevy_autodiff23MIT
jitterbugA true random number generator based on CPU execution jitter.23AGPL-3.0-or-later
irox-geometry2D and 3D Geometry Primitives23MIT OR Apache-2.0
eryon-plantsthis crate focuses on implementing various actors for the eryon framework23Apache-2.0
rust-rfA Rust port of scikit-rf for RF and microwave engineering23BSD-3-Clause
ruqu-quantum-monitorAnytime-Valid Quantum Kernel Coherence Monitor (AV-QKCM) - Sequential MMD testing with e-values for quantum syndrome distribution…23MIT
ruqu-vq-nasVariational Quantum Neural Architecture Search (VQ-NAS) - Automated quantum circuit architecture discovery with evolutionary and…23MIT
fixed_point_accelerationFixed-point iteration with acceleration algorithms (Anderson, Aitken, MPE, RRE, SEA, VEA)23MIT
ruqu-qearQuantum Echo-Attention Reservoir (QEAR) - Combining quantum reservoir computing with attention mechanisms for time series…23MIT
roberts-sequenceThe Roberts quasirandom sequence23MIT OR Apache-2.0 OR Zlib
pictexCLI utility for converting LaTeX math expressions to PNG format23MIT
organicomplexInteractive complex-valued cellular automaton on 2D and 3D grids in search of that stuff - emergence, open-endedness, organicity…23GPL-3.0-or-later
peregrine-mlA from-scratch deep learning library in Rust — tensors, autograd, NEON SIMD, Metal GPU, and working models23MIT
antecedentIdentification-first causal inference: identify → estimate → refute, with uncertainty about causal structure preserved23MIT OR Apache-2.0
latexsnipper-artifactRuntime artifact lineage for LaTeXSnipper processing23AGPL-3.0
neco-contactHertz contact and spatial helpers on uniform 2D fields22MIT
hierxHierarchical linear operators for efficient network approximations22MIT
neco-modalModal extraction utilities for time-series vibration data22MIT
cosmwasm-custom-decimalA custom decimal type for CosmWasm smart contracts with 6 decimal places and full Decimal compatibility22MIT
corp-finA specialized library for corporate finance calculations, including Beta, Sharpe Ratio, and Risk Metrics.22MIT
quant-metricsPure performance statistics library for trading — Sharpe, Sortino, drawdown, VaR, portfolio composition22MIT
spatial-typestateA Rust library for type-state enforced 3D coordinate systems, units, and transforms to prevent frame-mixing errors at compile…22Apache-2.0
ruvector-math-wasmWebAssembly bindings for ruvector-math: Optimal Transport, Information Geometry, Product Manifolds22MIT
bigfloatA safe, production-ready wrapper around MPFR for arbitrary-precision floating-point arithmetic.22GPL-3.0
aljabrA tiny computer algebra system.22MIT
logosq-optimizerClassical optimizers for variational quantum algorithms22MIT
rivrsSymbolic compiler for Rust22Apache-2.0
use-geometry-lineSmall 2D line primitives for RustUse geometry22MIT OR Apache-2.0
resonance-spectral-gapExact proof that the spectral gap of the 96-vertex Resonance Classes graph Laplacian is λ₁ = 1, via block tridiagonal…22MIT
neco-radiationAcoustic radiation power estimators for vibrating surfaces22MIT
octonion64Bare-metal, mathematically exact 8D hypercomplex algebra over Z_2^64. no_std, no_malloc, branchless.22AGPL-3.0-only
aocl-sysUmbrella crate re-exporting the per-component aocl-*-sys FFI bindings under cargo features22MIT OR Apache-2.0
aoclUmbrella crate re-exporting the per-component safe wrappers for AMD AOCL22MIT OR Apache-2.0
emlexA zero-cost S-expression mathematical DSL engine for Rust. Provides compile-time evaluation, AST preservation, optimization, and…22MIT OR Apache-2.0
ez3Easy Z3 bindings for Rust.22MIT
symplectic-optSymplectic optimization, conservation-law-encoded training, and Hamiltonian neural networks22MIT
sliding-quantileMoving quantile over a sliding window of size N with O(1) queries, O(log N) updates, and O(N) memory.22MIT OR Apache-2.0
us-paycheck-tax2025 US federal income tax (progressive brackets + standard deduction) and FICA take-home math.22MIT
clothoidCompute and fit clothoid (Euler/Cornu spiral) curves for smooth path planning and trajectory generation21EUPL-1.2
neco-minphaseMinimum-phase spectrum and overlap-add convolution kernels21MIT
robust-rs-coreCore abstractions for robust statistics: loss functions, robust scale and influence-function theory.21MIT OR Apache-2.0
tuphiumMinimal machine learning framework with serde-compatible models21Apache-2.0
ferrodec-ieeeShared IEEE 754-2019 metadata types (Status, RoundingMode, IeeeClass) for the ferrodec family21MIT OR Apache-2.0
geomcoreA pure, standalone geometric kernel for CAD-grade curves and surfaces: parametric evaluation, transformations, and…21MIT OR Apache-2.0
quantixA Rust library for quantitative finance, portfolio analysis, strategies, and backtesting.21MIT
sheaf-spectralSpectral sheaf theory in Rust — sheaf Laplacian, spectral sheaf theory, diffusion on sheaves, cohomology21MIT OR Apache-2.0
ct-berggrenBerggren ternary tree — algebraic generation of all Pythagorean triples from (3,4,5)21MIT
neberuExact geometric algebra from the balanced ternary axiom. Governed rewriting, self-certifying canonicalization via the Kase…21MIT
ct-warpWarp-level GPU primitives for constraint theory — cooperative search, ballot, shuffle21MIT
sporaA small utility crate that currently provides basic arithmetic helpers.21MIT OR Apache-2.0
elli-gf2Machine-first GF(2) elimination library with exact multi-backend reduction and auto-selection.21MIT
computableComputable real numbers with guaranteed correctness via interval refinement21MIT
usmeA lightweight symbolic math engine for differentiation and simplification.21MIT OR Apache-2.0
mul-catMultiplier built on comp-cat-rs and hdl-cat: Booth encoding and carry-save tree reduction as free category morphisms21MIT OR Apache-2.0
indicaFast technical analysis indicators for stock markets — SMA, EMA, RSI, MACD, Bollinger Bands, ATR, and more21MIT
exact_geo_predicatesRust port of the Geogram library's predicates module21MIT OR (MIT AND Apache-2.0)
lau-agent-thermodynamicsFull thermodynamic treatment of agents — Landauer bound, Carnot efficiency, Maxwell's demon, Szilard engine, fluctuation…21MIT
byte-engine-mathMath type aliases and helpers used across Byte-Engine.21MIT
tpt-augur-stdAugur standard library: probability distributions with log-density and sampling21MIT OR Apache-2.0
phop-cliCommand-line interface for phop: `phop discover data.csv`21Apache-2.0
value-metricsEquity valuation ratios: P/E, P/B, earnings yield, EV/EBIT, dividend yield.21MIT
slatec-sysUnsafe, provider-neutral Rust declarations for the reviewed SLATEC raw API20MIT OR Apache-2.0
embedded-so3-f32Groupe de rotation SO(3) en f32 pour systèmes embarqués no_std via quaternions unitaires20GPL-2.0-or-later
base_2Exact fixed-point geometry. Float in, float out, zero drift inside.20Apache-2.0
calnexusA command-line math expression evaluator with 11 computation domains, symbolic calculus, REPL, and batch processing20MIT
ferrum-statsStatistical functions, reductions, sorting, and histograms for ferrum20MIT OR Apache-2.0
cleaveA from-scratch geometry kernel for CAD, written in Rust.20MIT
lau-control-theory-agentsClassical and modern control theory for agents — stability, controllability, observability, optimal control20MIT
elkanTriangle-inequality accelerated (Elkan 2003) k-means, generic over point type and distance20MIT
lake-elevationReservoir and lake elevation math: percent-of-pool, storage conversions, datum conversions (ft<->m), and full-pool /…20MIT
goldenfloat-sysFFI bindings to GoldenFloat C-ABI library (φ-optimized 16-bit floating point format)20MIT
wasserstein-agentsWasserstein distance, optimal transport, and agent distribution coordination20MIT
constraint-decoding-trieGenerative Retrieval: Transition Matrix Trie for Constraint Decoding (STATIC)20Apache-2.0
ct-core-extExtended constraint theory core — adaptive deadband, multi-constraint intersection, snap diagnostics20MIT
ct-benchReproducible benchmark suite for constraint theory — snap, holonomy, deadband, distribution across all backends20MIT
ct-cuda-prepGPU-ready CUDA snap kernels — compile-verified, CPU fallback, PTX analysis20MIT
fixed-blazeZero-cost fixed-point arithmetic with convergent rounding and SIMD-first design.20AGPL-3.0-only
ct-geometryGeometric structures on the Pythagorean manifold — triangulation, Voronoi cells, neighborhood graphs20MIT
seizuretransformer-rsSeizureTransformer EEG model in Rust (Burn + wgpu)20Apache-2.0
seizuretransformerSeizureTransformer EEG model in Rust (Burn + wgpu)20Apache-2.0
limma-rustPure-Rust port of the Bioconductor limma differential-expression package20GPL-3.0-or-later
route-optimizerHigh-performance route optimization library for CPP, CVRP, TSP, and zone partitioning20MIT OR Apache-2.0
elementary-row-operation-verifierA tool to verify the correctness of elementary row operations on matrices20MIT OR Apache-2.0
int-castConvenient casts between primitive integers.20MIT OR Apache-2.0
propensity-scorePropensity score estimation via logistic regression, with zero-aware quantile binning for matching workflows.20MIT OR Apache-2.0
lau-free-probability-agentsVoiculescu's free probability theory applied to agent systems — free convolution, semicircle law, Marchenko-Pastur law,…20MIT
lau-information-geometry-agentsInformation geometry for agent belief spaces: Fisher metric, geodesics, natural gradient, and Amari's dual connections20MIT
tropical-neuralTropical geometry for neural network analysis — tropical polynomial division, tropical attention, piecewise-linear network…20MIT
commonstatsWASM-first Rust statistics: descriptives, hypothesis tests, distributions, density estimation, transforms, and resampling —…20MIT OR Apache-2.0
yatrosci-sparseSparse matrix operations for SciRS - CSR, CSC, COO formats20AGPL-3.0-or-later
scir-ndndarray interop for SciR: clean shape/stride conversions and helpers so compute crates focus on math.20MIT
ternary-prophetPrediction and forecasting with uncertainty for ternary state systems20MIT
dscr-ratioDebt service coverage ratio (DSCR) for rental-property loans: NOI over annual debt service.20MIT
phopFaçade for phop: differentiable symbolic discovery on the EML operator (re-exports phop-core; CLI in phop-cli)20Apache-2.0
tariff-calcImport tariff/duty math: duty amount, landed cost, and effective duty rate from a tariff schedule.20MIT
scir-iir-filtersSciR fork of iir_filters: Apache-2.0 IIR filter design (Butterworth, Chebyshev I, Bessel; ZPK, SOS) with public Sos accessors so…20Apache-2.0
math-evalA mathematical expression evaluator that does sin, cos, tan, log(base 10), ln, +, -, *, /, and ^20MIT
csa-rhdlCarry-save adder compressor trees composed via comp-cat-rs, with hdl-cat backend19MIT OR Apache-2.0
rustint-qcHigh-performance molecular integral library for quantum chemistry: 1e/2e Gaussian integrals, analytic derivatives, SIMD,…19MIT OR Apache-2.0
basecalcArbitrary-precision multi-base scientific calculator19GPL-3.0
cpa-catCarry-propagate adder built on comp-cat-rs and hdl-cat: parallel prefix networks as free category morphisms19MIT OR Apache-2.0
nacreA pure-Rust CAD kernel keeping exact b-rep (NURBS / analytic surfaces) as the source of truth. Work in progress — this release…19MIT OR Apache-2.0
fusitensorHigh-Performance Tensor Engine with Async-Safe Logic, JIT Operator Fusion, and multi-GPU support (CUDA/ROCm/oneAPI).19MIT OR Apache-2.0
dodecet-encoderA 12-bit dodecet encoding system optimized for geometric and calculus operations19MIT OR Apache-2.0
signal-jepa-rsSignalJEPA EEG Foundation Model — inference in Rust with Burn ML19Apache-2.0
signaljepa-rsSignalJEPA EEG Foundation Model — inference in Rust with Burn ML19Apache-2.0
pcompYet another CLI-math tool for RPN.19MIT OR Apache-2.0
tpt-zero-vecSmall f32 vector math (Vec2/Vec3/Vec4) for #![no_std]. #![no_std], zero dependencies, fast-math backed.19MIT OR Apache-2.0
embedded-complex-f32Nombres complexes f32 no_std pour systèmes embarqués sans dépendance C, sans unsafe19GPL-2.0-or-later
spectral-fleetSpectral graph theory for AI agent fleet analysis and optimization19MIT
ruvector-consciousnessSOTA consciousness metrics: IIT Φ computation, causal emergence, effective information with SIMD acceleration and sublinear…19MIT