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.
rapier_testbed2d-f64Testbed for the Rapier 2-dimensional physics engine in Rust.55Apache-2.0
rust-mlpSmall, from-scratch MLP (dense feed-forward) for Rust: predictable, allocation-free hot path, batched training, and optional fast…55MIT
aocl-sparseSafe Rust wrappers for AOCL-Sparse (sparse BLAS)55MIT OR Apache-2.0
aocl-scalapackSafe Rust wrappers for AOCL-ScaLAPACK (Fortran/MPI; under construction)55MIT OR Apache-2.0
salibGlobal sensitivity analysis in Rust. Variance-based (Sobol'), Morris,
FAST/eFAST/RBD-FAST, Borgonovo δ, PAWN, DGSM, regression…54MIT OR Apache-2.0
latex-mathCommand-line interface (CLI) tool and library for parsing and representing mathematical expressions54MIT
rust-jplRust library for NASA JPL DE441 ephemeris: precise planetary positions for astronomy, astrophysics, and astrology applications54MIT
logicaffeine-forgeCopy-and-patch JIT for LOGOS — executable-memory layer and stencil runtime (native only).54BUSL-1.1
llamma-mathPure Rust port of Curve Finance LLAMMA (Lending-Liquidating AMM Algorithm) math. Wei-level precision, fuzz-verified against…54MIT
subms-statsLatency-distribution statistics. Pure functions on &[u64] sample arrays: percentiles, log2-spaced CDF histograms, jitter score,…54MIT OR Apache-2.0
decimaxFast, fixed-size, floating-point decimal types.54MIT
aocl-mathSafe Rust wrappers for AOCL-LibM (vectorized scalar math, AMD-tuned)54MIT OR Apache-2.0
aocl-lapackSafe Rust wrappers for AOCL-LAPACK (libFLAME) via the LAPACKE interface54MIT OR Apache-2.0
calcliFast terminal calculator (TUI) with history, variables and engineering helpers54MIT
quant-indicatorsPure indicator math library for trading — MA, RSI, Bollinger, MACD, ATR, HRP53MIT
libm-extAn extension to libm providing essential mathematical special functions.53MIT OR Apache-2.0
lean-decimalFast, fixed-precision, floating-point decimal types.53MIT
dipolecalcCalculator crate for dipole antennas53AGPL-3.0
auburn2dFast and simple 2D collision detection and physics.53MIT
faer-precondNumerical preconditioners (Jacobi, block-Jacobi, ILU(0), IC(0)) for iterative solvers, built on faer.52MIT OR Apache-2.0
t4a-cubek-randomTemporary tensor4all fork of CubeK: Random Number Generation52MIT OR Apache-2.0
t4a-cubek-quantTemporary tensor4all fork of CubeK: Quantization Library52MIT OR Apache-2.0
oxeylyzer-coreCore library for Oxeylyzer, a keyboard layout analyzer52Apache-2.0
hyperquantExperimental lattice quantization primitives with explicit receipts and conservative claim boundaries52MIT OR Apache-2.0
nc-polynomialPolynomial arithmetic over Z_q[x] with NTT support and validated ring contexts52MIT
chrom-rsLiquid chromatography simulator — Langmuir isotherms, numerical solvers (Euler, RK4), CLI and config-file interface52Apache-2.0
volterraCovariant active nematics simulation on Riemannian manifolds52MIT
fphicsA pure zero-dependency rust physics and maths library that deals with mathematical conversions, and physics calculations using…52MIT
ipf_surveySurvey raking utility that extends the ipf crate.52MIT
constraint-theory-metricsBenchmarking and analysis tools for constraint theory — distribution analysis, correctness verification, performance measurement51MIT
netsimplexA domain-agnostic min-cost transportation solver (bounded-variable network simplex).51MIT
antecedent-graphCausal graph types (DAG, ADMG, CPDAG, PAG, temporal), separation queries, and traversal workspaces for the Antecedent engine;…51MIT OR Apache-2.0
tda_coreTopological Data Analysis in Rust. Not limited to H0 and H1.51MIT
amari-surcomplexExact rational surcomplex numbers for the Amari library51MIT OR Apache-2.0
fcarsA Rust library (and binary) for Formal Concept Analysis.51MIT
embedded-stats-f32Statistiques f32 no_std : moyenne, variance, écart type, moyenne streaming , zéro unsafe50GPL-2.0-or-later
givpGRASP-ILS-VND with Path Relinking metaheuristic for continuous black-box optimization50MIT
auburn3dFast and simple 3D collision detection and physics.50MIT
t4a-cubek-matmulTemporary tensor4all fork of CubeK: Matrix Multiplication Kernels49MIT OR Apache-2.0
ferromotion-learnDifferentiable physics-informed learning for ferromotion — reverse-mode autodiff, PINNs, Lagrangian/Hamiltonian nets, Neural…49MIT OR Apache-2.0
hankrsAn implementation of quasi-discrete hankel transforms in rust49MIT OR Apache-2.0
constraint-theory-nnNearest-neighbor lookup on the Pythagorean manifold — exact 1-NN with O(log n) binary search49MIT
hypHyperbolic geometry: Poincare ball, Lorentz model, Mobius operations49MIT OR Apache-2.0
constraint-solverA small, generic nonlinear constraint solver with symbolic expressions, compilation, and a modified Newton-Raphson method.49MIT
for_the_love_of_gearsISO-standard involute gear geometry: spur and helical gears, tooth profile, contact ratio, backlash, and multi-stage kinematic…49MIT
adele-ringExact multi-base arithmetic engine via the Residue Number System (RNS), with a number tower from integers to symbolic expressions…49MIT OR Apache-2.0
plskitPLS regression with modern inference. Rust implementation; the same engine drives the Python, R, and Julia wrappers.49GPL-3.0-or-later
yatrosci-specialSpecial mathematical functions for SciRS - Bessel, Gamma, erf, etc.49AGPL-3.0-or-later
stages-thermoStaged-separation (distillation) column solver: McCabe–Thiele, Ponchon–Savarit, FUG shortcut, and rigorous MESH methods, built on…49MIT
alatAutomata Learning Toolkit.48MIT
numaxiomLightweight numeric marker traits for ranges/signs plus constants and ops; std by default, no_std optional.48MIT OR Apache-2.0
infomeasureInformation theory measures and entropy calculations for Rust48MIT OR Apache-2.0
antecedent-exprArena-backed symbolic IR for causal functionals (estimands) in the Antecedent engine; start with the `antecedent` crate48MIT OR Apache-2.0
sp_matmul_rsSparse CSR matrix multiplication with top-n selection — Rust port of sparse_dot_topn.48Apache-2.0
katgpt-decDiscrete Exterior Calculus substrate — exterior derivative, codifferential, Hodge Laplacian/decomposition, Stokes calculus,…48MIT
taguchiState-of-the-art orthogonal array (Taguchi) library for experimental design47MIT OR Apache-2.0
doglegBackend-agnostic high-quality Rust-native unconstrained least-squares minimization47MIT
fft_rs-maA high-performance Fast Fourier Transform (FFT) library for Rust47MIT
metal-softfloatIEEE-754 binary64 (f64) software emulation for Apple Metal compute kernels and pure Rust47MIT AND BSD-3-Clause
cliff64_macrosProcedural macros for high-performance, deterministic Clifford Algebra code generation.47AGPL-3.0-only
mobius-applicatioA lean library for Möbius transformations on the complex plane46MIT OR Apache-2.0
cp-curveConstant-product (x*y=k) AMM curve math primitives for Solana programs46MIT OR Apache-2.0
turbocollatz-internalThe library that provides the algorithms and custom type aliases for turbocollatz.46MIT
perfgate-scalingComputational complexity validation and curve fitting for perfgate46MIT OR Apache-2.0
constraint-theory-demoSelf-contained constraint theory demo — snap, holonomy, angular NN, self-consistency quine on Pythagorean manifolds46MIT OR Apache-2.0
alice-mathA topology and algebra library from first principles46MIT
voronoid3D Voronoi tessellation in Rust: a fast, feature-rich grid-based approach ready for WASM and TypeScript.46MIT/Apache-2.0
m2s2-geometryGeometric primitives and intersection queries (AABB, OBB, sphere, ray, plane, triangle) built on m2s2-math.46MIT
raznoorExplicit Runge-Kutta ODE solver for scalar and system initial value problems with event detection46MIT
avx-clusteringState-of-the-art clustering algorithms for Rust - surpassing scikit-learn, HDBSCAN, and RAPIDS cuML45MIT OR Apache-2.0
mod2kFast arithmetic modulo `2^k`, `2^k - 1`, and `2^k - d`.45MIT
logicaffeine-jitThe LOGOS native tier — wires the copy-and-patch forge JIT into the bytecode VM (native only).45BUSL-1.1
geodesic_destinationCompute the destination point for a bearing and distance on a spherical Earth.45MIT OR Apache-2.0
antecedent-stateIncremental causal state, invalidation, and sufficient statistics for online analysis in the Antecedent engine; start with the…45MIT OR Apache-2.0
taml-rsA lightweight, n-dimensional automatic differentiation library for learning and experimentation.45MIT
real-besselA pure Rust implementation of real-valued Bessel functions of the first and second kinds, for integer orders and real arguments.45MIT OR Apache-2.0
web-mercatorWeb Mercator projection and perspective map viewport/fitBounds math compatible with Mapbox GL and deck.gl45MIT
splotrsDependency-light sPlot fits backed by Rust and Ganesh45MIT OR Apache-2.0
omega-automataAlgorithms on omega (infinite word) automata and LTL logic.44Apache-2.0
metatron-qso-rsMetatron Quantum State Operator - A quantum computing framework based on 13-dimensional sacred geometry44MIT
lp_solverType-safe linear-programming model builder with pluggable CBC/Gurobi backends44MIT OR Apache-2.0
engvis-surfaceImplicit surface definitions and TPMS formula library for engvis44MIT
qnckeNon-commutative key exchange over invertible quaternions modulo a prime44MIT
egui-plotter-forka fork of egui-plotters for egui 0.35+ compatibility43MIT
goertzel_thdA small no_std crate to compute THD using the Goertzel algorithm43MIT OR Apache-2.0
yatrosci-randomRandom number generation for SciRS - distributions and sampling43AGPL-3.0-or-later
trametricksBacktest metrics for trading strategies: Sharpe, Sortino, max drawdown, win rate, profit factor, expectancy.43MIT OR Apache-2.0
fboolBoolean function analysis library: entanglement, entropy, sensitivity, spectral analysis, frontier, and circuit complexity43MIT
poly-decomp2D polygon convex decomposition for physics/collision43MIT
colonyxRust-backed swarm intelligence optimization for Python43MIT
diffusionx-cuda-kernelcuda kernels for diffusionx42MIT OR Apache-2.0
vector_space_studyProject created for rust study.42MIT
breprsRust implementation of boundary representation (BRep) with API compatibility for CAD/CAE/CAM applications42MIT OR Apache-2.0
yf-optionsA fast, reliable command-line tool for downloading options chain data from Yahoo Finance.
Features include Black-Scholes Greeks…42MIT OR Apache-2.0
optimiz-rsHigh-performance optimization algorithms in Rust with Python bindings42MIT
backgammon_engineBackgammon engine in Rust: state representation, legal move generation, and deterministic afterstate transitions for agent/RL…41MIT
parametricA crate providing the trait and a derive macro to bridge complex, hierarchical data structures with optimization algorithms that…41MIT OR Apache-2.0
rankHacker News style ranking decay algorithm / 基于 Hacker News 公式的排序衰减算法41MulanPSL-2.0
orthosHigh-performance linear algebra library written in Rust41Apache-2.0
semicontinuous_modelsReusable models for semi-continuous outcomes (two-part, Tweedie, and log-normal)41MIT OR Apache-2.0
keystone-wasmWASM bindings for Keystone financial computation41MIT OR Apache-2.0
tenebrisA from-scratch machine learning library written in pure Rust.41MIT OR Apache-2.0
min_infmachine_lltkThe MinInfMachine Low Level Toolkit.41Apache-2.0
ynab-importFormat copied bank statements as CSV for import to YNAB.41MIT
cat-wgpuCategorical host layer for wgpu compute: adapter, device, buffers, shaders, and dispatches expressed as comp-cat-rs Io/Resource…40MIT OR Apache-2.0
gauss_solver_3x3Um solver determinístico e sem alocação em heap para sistemas lineares 3x3 usando Eliminação de Gauss.40MIT OR Apache-2.0
mermink-atic alignment analysis of fluorescence microscopy40MIT OR Apache-2.0
convex-yasBloomberg YAS (Yield Analysis System) replication for the Convex fixed income library40MIT
reeferOptimizing proc-macro for geometric algebra40MIT
ph-curvesno-std, no-alloc curve lookup tables and tickless scheduling for embedded Rust40MIT
unlab-gpuMicro scripting language for neural networks that uses unmtx-gpu.40MPL-2.0
ryftA Framework for Tracing, Automatic Differentiation, and Just-In-Time Compilation40MIT OR Apache-2.0
fast-powiProvides fast exponentiation for numeric types40MIT
ortools-scipRust bindings for Google OR-Tools SCIP mixed-integer programming solver40Apache-2.0
alphastellRust CAD generator for stellarator fusion reactors: VMEC equilibria to STEP geometry for in-vessel layers and modular coils.39MIT
antecedent-identifyCausal identification for the Antecedent engine: backdoor, front-door, IV, ID/IDC, and temporal strategies; start with the…39MIT OR Apache-2.0
antecedent-estimateFrequentist and Bayesian estimators for identified causal effects in the Antecedent engine; start with the `antecedent` crate39MIT OR Apache-2.0
dec64-rsDEC64 decimal floating point with 16 digits of precision39MIT
ruvector-verified-wasmWASM bindings for ruvector-verified: proof-carrying vector operations in the browser39MIT OR Apache-2.0
grikodA safe Rust library implementing the standard Gray code conversion.39MIT
stag-toolkitReal-time solutions for 3D games, art, and simulations.39Apache-2.0
cgpa-calculatorA lightweight Rust library for calculating GPA, CGPA, and SGPA. Supports 4.0 and 5.0 grading scales.39MIT
rz3Deterministic, exact-rational SMT solver in pure Rust (DPLL(T)/CDCL) with an exact linear-arithmetic core. Zero C dependencies,…39MIT OR Apache-2.0
entropy-conservationConservation of Verification Entropy — a mathematical framework for the meta-law discovered across PLATO/SuperInstance experiments39MIT
math-basicsA small math utilities library: factorial, permutations, combinations, Fibonacci, GCD/LCM and primality testing39MIT
kipPure thread-safe engineering expression evaluator for US imperial units38MIT OR Apache-2.0
nabled-embeddingsLightweight ndarray-native compute and rerank layer for embedding vectors38MIT OR Apache-2.0
concision-snnSynaptic Neural Networks for the Concision Machine Learning Framework38Apache-2.0
elicit_uomElicitation-enabled uom shadow crate — MCP tools for units-of-measurement38Apache-2.0 OR MIT
hanfei-shu术 — GPU-accelerated Multi-Scalar Multiplication for the Pallas elliptic curve. The first and only GPU MSM for the Halo2/Pasta…38Apache-2.0
numshooterHigh-performance mathematical library written in Rust38MIT
scies-math-thA high-performance, dependency-free mathematical toolkit for Rust. Includes generic matrices, Quaternions, MCMC, ODE/PDE solvers,…38MIT
tensors-rsCompact NumPy-like dense tensor primitives for safe numerical Rust.37MIT
TestU01DrvCLI driver for the TestU01 random number testing library37non-standard
ferrum-ufuncUniversal functions and SIMD-accelerated elementwise operations for ferrum37MIT OR Apache-2.0
uxxCombinadic indexing for unsigned integers that have a fixed number of set bits.37MIT
propositionA crate dedicated to proposition building logic, providing mathematical lexers and language properties for defining logical…37MIT
pathwise-geoRiemannian manifold SDE simulation (geodesic Euler/Milstein/SRI) on S^n, SO(n), SPD(n) via the cartan geometry library37MIT
krysysKrylov subspace solvers for symmetric systems of linear equations37MIT OR Apache-2.0
fastmathsHigh-performance no_std math routines targeting glibc parity and strict f64 accuracy.37MIT
stateset-rl-coreHigh-performance Rust core for reinforcement learning - GAE, advantage computation, reward normalization with optional Python…37BUSL-1.1
pcb-toolkitPCB design calculator library — impedance, current capacity, via properties, and more37MIT OR Apache-2.0
trueno-solveDense linear algebra solvers — LU, QR, SVD, Cholesky with provable contracts37MIT OR Apache-2.0
elicit_geoElicitation-enabled geo algorithms MCP tools — predicates, measurements, transformations37Apache-2.0 OR MIT
elicit_projElicitation-enabled proj shadow crate — MCP tools for coordinate reference system and projection descriptors37Apache-2.0 OR MIT
ndfunctionspaceFinite element function spaces.37BSD-3-Clause
sgemm-biDeterministic, batch-invariant CUDA GEMM engine with a full training triad (forward, dW, dX) in f32 / bf16 / f16, plus an opt-in…37MIT OR Apache-2.0
torustcalcmcpA Rust port of calc (lcn2/calc): exact-rational calculator usable as the `rcalc` CLI and as an MCP (JSON-RPC 2.0) server.37LGPL-2.1
ndslive-mathCoordinate math, packed tile IDs, and Morton (Z-order) codes for NDS.Live geographic tiling.37BSD-3-Clause
quicklatexA program to help me write LaTeX quickly37AGPL-3.0-or-later
ternary-entropyEntropy analysis for ternary strategy distributions37MIT
holomapDeterministic UMAP — the bulk, on the boundary. Same input, same params, same seed: bit-identical embeddings.37MIT OR Apache-2.0
regit-daycountDay-count fractions and business-day calendars in pure Rust — Act/360, Act/365F, ActAct ISDA, ActAct ICMA, 30/360, 30E/360,…36Apache-2.0
tensorlogic-oxicuda-backendOxiCUDA-powered GPU tensor execution backend for TensorLogic (Pure Rust CUDA via OxiCUDA)36Apache-2.0
mlxrsSafe Rust bindings for Apple's MLX array framework, with LM, VLM, audio, and embeddings support36MIT OR Apache-2.0
antecedent-modelStructural causal models, mechanisms, and interventional sampling for the Antecedent engine; start with the `antecedent` crate36MIT OR Apache-2.0
eggsactDeterministic MCP and in-process utility tools for coding agents36MIT
ab-testingA/B testing with chi-squared and Welch's t-test — Rust port of ab-testing36MIT
volterra-marsMARS (Microfluidic Active Rod Suspension) presets and domain-specific extensions for volterra36MIT
tuppu-reactiveReactive bindings for scene graph35MIT OR Apache-2.0
tuppu-constraintConstraint solving and bidirectional propagation for Tuppu Nabu35MIT OR Apache-2.0
tuppu-workspaceWorkspace management and IAHU meta-registry for Tuppu Nabu35MIT OR Apache-2.0
trueno-sparseSparse matrix formats and operations — CSR, COO, BSR with SIMD-accelerated SpMV/SpMM35MIT OR Apache-2.0
tuppu-renderRendering backends for scene visualization35MIT OR Apache-2.0
antecedent-discoveryCausal discovery for the Antecedent engine: PC, GES, LiNGAM, NOTEARS, FCI, the PCMCI family, and Bayesian graph posteriors; start…35MIT OR Apache-2.0
yatrosci-ndarrayN-dimensional arrays for scientific computing - NumPy equivalent in Rust35AGPL-3.0-or-later
essentialsxEssentials for everything35MIT OR Apache-2.0
helix-noiseDivergence-free helical (Beltrami) spectral flow-field noise, evaluatable analytically at any point in space and time.…35MIT
apiel-cliInteractive REPL for apiel, a subset of the APL programming language implemented in Rust.35MIT
limemathA math crate made by Lemon Enterprise35Apache-2.0
polygenA library for generating n-dimensional polytopes from their coxeter diagrams35MIT
halfedgeA half-edge mesh data structure library for Rust: traversal, topology operations, geometry, subdivision, decimation,…35MIT OR Apache-2.0
vle-steamIAPWS-IF97 industrial water/steam thermodynamic properties (steam tables): regions 1-5, saturation line, backward equations35MIT
diffablea differential geometry framework for rust35MIT OR Apache-2.0
regit-curvesAudit-grade interest-rate yield curve bootstrap and interpolation in pure Rust. Single- and multi-curve (OIS-discounted),…34Apache-2.0
neco-brepAnalytical B-Rep engine with boolean operations34MIT
neco-mesh1D/2D/3D mesh and voxel discretization primitives34MIT
tuppu-commandCommand system with undo/redo34MIT OR Apache-2.0
protoflightProtoflight flight controller.34MIT OR Apache-2.0
intervalxA strongly-typed generic interval algebra library for Rust34MIT
coll-birthLarge-scale collision and birthday-spacings tests for pseudorandom number generators34Apache-2.0 OR MIT
scirs⚠️ DEPRECATED: scirs has been renamed to scirs2. Please use scirs2 instead: https://crates.io/crates/scirs234MIT OR Apache-2.0
tokitai-operatorVerified DL kernel compiler: formally-checked GEMM, p-adic, sheaf, contract-carrying ops. Paper-artifact grade.34MIT OR Apache-2.0
emlmathA scientific math library based on the paper All elementary functions from a single binary operator by Andrzej Odrzywołek34MIT
RTorchA machine learning library for Rust34MIT
brainjepaBrain-JEPA fMRI Foundation Model — inference in Rust (RLX)34MIT
lib8tionRust port of FastLED lib8tion — fast 8-bit math primitives for embedded LED programming34MIT
causal-triangulationsCausal Dynamical Triangulations in d-dimensions33BSD-3-Clause
chaff-mathSmall math utilities (add, absolute difference).33MIT
logicaffeine-tvSMT translation validation: prove emitted Rust is observationally equivalent to LOGOS source33BUSL-1.1
numanHumanize numbers: compact (1.2K), word (1.2 million) and SI metric (1.2 k) notation, plus parsing them back. Zero-dependency,…33MIT OR Apache-2.0
oxigeo-analyticsAdvanced geospatial analytics for OxiGeo - Time series, clustering, hotspot analysis, and interpolation33Apache-2.0
omni-ffiZero-cost C++/CUDA FFI bridge for the OmniPulse Wavelet Scattering Transform engine — GPU-accelerated perceptual fingerprinting…33Apache-2.0
ferric-tensorFerric L2 — a general N-dimensional tensor runtime on the GPU fabric: arbitrary rank, strided views, broadcasting, general…33Apache-2.0
avx-bignumBig integer arithmetic (U1024, U2048, U4096, I4096)32MIT OR Apache-2.0
coprimeZero-dependency, no_std u64 number theory and modular arithmetic. Public, secret-free — Stage One, no constant-time guarantees…32BSD-3-Clause
linfa-larsLeast Angle Regression methods32MIT OR Apache-2.0
modlinModular rank and linear-complexity tests for pseudorandom number generators32Apache-2.0 OR MIT
antecedent-designExperimental-design ranking (expected information gain, identification probability) and decision utilities for the Antecedent…32MIT OR Apache-2.0
antecedent-counterfactualAbduction-action-prediction counterfactual evaluation for the Antecedent causal inference engine; start with the `antecedent`…32MIT OR Apache-2.0