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.
newton-sosDamped Newton method to solve low-rank problems arising from KernelSOS and Sum-of-Squares relaxations.129non-standard
nvana_fixedHigh-precision fixed-point arithmetic library for financial and DeFi calculations129MIT
use-elasticityScalar elasticity and mechanics-of-materials helpers for RustUse129MIT OR Apache-2.0
bls-signatures-evmImplementation of BLS signatures in Rust for the EVM129MIT
phylo_gradFast gradient calculation of the Felsenstein algorithm with respect to the rate matrix129MIT OR Apache-2.0
glmmStandalone f64 GLMM fit kernels (OLS, GLM, LMM, GLMM) in pure Rust on faer — the validation-pinned numerics from the MCPower…129GPL-3.0-or-later
use-signal-scorePrimitive quantitative signal score vocabulary for RustUse128MIT OR Apache-2.0
use-intersectionIntersection result primitives for RustUse geometry127MIT OR Apache-2.0
ozton-recordRecording framework for ozton.127MIT
use-factorPrimitive quantitative factor vocabulary for RustUse127MIT OR Apache-2.0
oxinum-complexArbitrary-precision complex numbers for OxiNum (CBig over DBig; Pure Rust, GMP/MPFR-free)127Apache-2.0
aocl-fft-sysUnsafe FFI bindings to AOCL-FFTW127MIT OR Apache-2.0
blas-rsExperimental F32 BLAS & Intel Math kernels library for x86_64 cpu127MIT
use-hyperplaneHyperplane primitives for the RustUse geometry workspace126MIT OR Apache-2.0
use-bezierBezier curve primitives for the RustUse geometry workspace126MIT OR Apache-2.0
ringkernel-graphGPU-accelerated graph algorithm primitives for RingKernel (CSR, BFS, SCC, Union-Find, SpMV)126Apache-2.0
use-physicsComposable facade crate for RustUse physics helpers126MIT OR Apache-2.0
use-hullHull primitives for the RustUse geometry workspace126MIT OR Apache-2.0
use-drawdownPrimitive drawdown vocabulary for RustUse quantitative crates126MIT OR Apache-2.0
mraphicsA rendering engine for exploring interactive and intuitive math126Apache-2.0
prime-randomSeeded randomness — Mulberry32 RNG, Poisson disk, weighted choice126MIT
lobattoGauss–Lobatto quadrature and interpolation points, spectral finite-element lagrangian basis operations with efficient hardcoded…126LGPL-3.0-only
hypersolveHyperreal-backed nonlinear solving and constraint evaluation126Apache-2.0
noise-cliREPL and file runner for the Noise language.126MIT
use-inversionGeometric inversion primitives for the RustUse geometry workspace125MIT OR Apache-2.0
regit-blackscholesZero-dependency Black-Scholes options pricing engine. Pure Rust.125Apache-2.0
use-affineAffine-space helpers for the RustUse geometry workspace125MIT OR Apache-2.0
dimensional_analyserRuntime dimensional analysis and unit-aware quantities for Rust125MIT
use-hypersphereHigher-dimensional sphere primitives for the RustUse geometry workspace125MIT OR Apache-2.0
use-catalan-solidCatalan solid metadata for the RustUse geometry workspace125MIT OR Apache-2.0
use-tickPrimitive tick, trade, and quote vocabulary for RustUse quantitative crates125MIT OR Apache-2.0
ragdrift-corePure-Rust core for ragdrift: 5-dimensional drift detection for RAG systems.125MIT OR Apache-2.0
neco-stftBackend-agnostic real FFT facade, windows, and STFT124MIT
use-polytopePolytope concepts for the RustUse geometry workspace124MIT OR Apache-2.0
ringkernel-montecarloGPU-accelerated Monte Carlo primitives for RingKernel (Philox RNG, variance reduction)124Apache-2.0
automerge-catCRDTs as categorical colimits, built on comp-cat-rs124MIT
scirs2-symbolic-macrosProc-macro DSL for scirs2-symbolic pattern matching rules124Apache-2.0
omeinsumHigh-performance Einstein summation with tropical and standard algebra support124MIT OR Apache-2.0
use-johnson-solidJohnson solid identifiers for the RustUse geometry workspace124MIT OR Apache-2.0
avr-qFixed point arithmetic for AVR124MIT OR Apache-2.0
elicitation_kaniKani model-checking proofs for elicitation contract types124Apache-2.0 OR MIT
numraNumra: a composable Rust workspace for scientific computing — differential equations (ODE/SDE/DDE/FDE/IDE/PDE/SPDE),…124LicenseRef-Numra-Academic-Research-NonCommercial
iridium-unitsA high-performance runtime unit-of-measure library for Rust124MIT
use-polylinePolyline primitives for the RustUse geometry workspace123MIT OR Apache-2.0
use-orthotopeOrthotope primitives for the RustUse geometry workspace123MIT OR Apache-2.0
use-polygonPolygon primitives for the RustUse geometry workspace123MIT OR Apache-2.0
motor-mixersA motor mixer library targeted at embedded systems and robotics.123MIT OR Apache-2.0
use-origamiOrigami model primitives for the RustUse geometry workspace123MIT OR Apache-2.0
use-linkageLinkage primitives for the RustUse geometry workspace123MIT OR Apache-2.0
use-polyhedral-netPolyhedral net primitives for the RustUse geometry workspace123MIT OR Apache-2.0
use-volatilityPrimitive volatility vocabulary for RustUse quantitative crates123MIT OR Apache-2.0
aocl-lapack-sysUnsafe FFI bindings to AOCL-LAPACK (libFLAME)123MIT OR Apache-2.0
u-doeDesign of Experiments (DOE) framework: factorial, Plackett-Burman, CCD, Box-Behnken, Taguchi, effects analysis, RSM, and…123MIT
use-math-constantsReusable mathematical constants for RustUse122MIT OR Apache-2.0
use-projectionProjection primitives for the RustUse geometry workspace122MIT OR Apache-2.0
use-polyhedronPolyhedron primitives for the RustUse geometry workspace122MIT OR Apache-2.0
use-projectiveProjective geometry primitives for the RustUse geometry workspace122MIT OR Apache-2.0
use-manifoldManifold vocabulary for the RustUse geometry workspace122MIT OR Apache-2.0
use-meshMesh primitives for the RustUse geometry workspace122MIT OR Apache-2.0
elicitation_verusVerus formal verification proofs for elicitation contract types122MIT OR Apache-2.0
use-reflectionReflection primitives for the RustUse geometry workspace121MIT OR Apache-2.0
beaumontAlgorithmic trading for quantitative financial applications121WTFPL
proof-cat-coreField-agnostic proof-system primitives (sumcheck, multilinear, Fiat-Shamir, Merkle) shared by proof-cat and stark-cat121MIT OR Apache-2.0
use-regular-polytopeRegular polytope primitives for the RustUse geometry workspace121MIT OR Apache-2.0
aocl-math-sysUnsafe FFI bindings to AOCL-LibM121MIT OR Apache-2.0
aocl-sparse-sysUnsafe FFI bindings to AOCL-Sparse121MIT OR Apache-2.0
ocas-gplOptional GPL-only backends for oCAS121GPL-3.0-or-later
ocas-pyPython bindings for oCAS121LGPL-3.0-or-later
convex-analyticsUnified analytics engine for the Convex fixed income library - yields, spreads, risk, and YAS replication120MIT
use-rectangleRectangle primitives for the RustUse geometry workspace120MIT OR Apache-2.0
elicit_geo_typesElicitation-enabled geo-types shadow crate — MCP tools for geometric primitives120Apache-2.0 OR MIT
use-foldingFolding primitives for the RustUse geometry workspace120MIT OR Apache-2.0
aocl-scalapack-sysLinker shim for AOCL-ScaLAPACK (Fortran/MPI; Rust bindings to come)120MIT OR Apache-2.0
use-segmentSmall 2D segment primitives for RustUse geometry120MIT OR Apache-2.0
libitofinA ground-up Rust port of QuantLib: quantitative-finance primitives for pricing, risk, and numerical methods.120BSD-3-Clause
czsc-traderMulti-strategy trading engine of the czsc framework (most users should depend on the `czsc` facade instead): signal compilation,…120MIT
powerio-probProblem instance builders for power system analysis and optimization.120MIT OR Apache-2.0
huub-cliCLI tool for the Huub CP+SAT solver framework120MPL-2.0
latexsnipper-inferenceInference capability — Detection, Recognition, Layout120AGPL-3.0
oxiprojOxiProj — the COOLJAPAN Pure-Rust cartographic library (a Pure-Rust port of PROJ).120Apache-2.0
t4a-cubeclTemporary tensor4all fork of CubeCL for tenferro-rs release preparation.120MIT OR Apache-2.0
use-containmentContainment traits and classifications for RustUse geometry119MIT OR Apache-2.0
use-similaritySimilarity relation helpers for RustUse geometry119MIT OR Apache-2.0
use-dihedralDihedral angle primitives for the RustUse geometry workspace119MIT OR Apache-2.0
gmp-rsA pure-Rust, no-unsafe, no_std, no_alloc arbitrary-precision integer (mpz) subset, faithful to GMP's mpz_* operations.119LGPL-3.0-or-later
use-transformTransformation primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-curveCurve primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-splineSpline primitives for the RustUse geometry workspace119MIT OR Apache-2.0
pounce-convexInterior-point solvers for the convex problem classes in POUNCE: LP, convex QP, and conic programs (SOCP, exponential and power…119EPL-2.0
plootA terminal plotting library.119Apache-2.0
vitaAtomistic and molecular life sciences in Rust.119MIT OR Apache-2.0
use-sphereSphere primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-coxeterCoxeter diagram primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-configurationGeometric configuration primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-uniform-polytopeUniform polytope classification primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-wythoffWythoff notation primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-dualityGeometric duality primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-surfaceSurface primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-torusTorus primitives for the RustUse geometry workspace119MIT OR Apache-2.0
basis-pointsValidated basis-points type with optional Decimal and Anchor support.119MIT
use-faceFace primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-triangulationTriangulation primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-voronoiVoronoi diagram primitives for the RustUse geometry workspace119MIT OR Apache-2.0
use-delaunayDelaunay triangulation primitives for the RustUse geometry workspace119MIT OR Apache-2.0
neco-cdt2D Constrained Delaunay Triangulation with exact geometric predicates119MIT
use-triangleSmall triangle primitives for RustUse geometry119MIT OR Apache-2.0
quantwave-backtestVectorized portfolio simulation engine for QuantWave (Polars long-format, basic costs/slippage, rich signal struct support…119MIT
schubertSchubert calculus as a practical access control system — quantitative capability-based authorization119Apache-2.0
use-congruenceCongruence helpers for RustUse geometry118MIT OR Apache-2.0
scies-mathA high-performance, dependency-free mathematical toolkit for Rust. Includes generic matrices, Quaternions, MCMC, ODE/PDE solvers,…118MIT
use-earth-constantsReusable Earth and WGS84 constants for RustUse118MIT OR Apache-2.0
use-conicConic primitives for the RustUse geometry workspace118MIT OR Apache-2.0
vforceSafe no_std Rust bindings for the VForce family of hardware-accelerated vectorized math functions in the Accelerate framework on…118Apache-2.0
use-simplexSimplex primitives for the RustUse geometry workspace118MIT OR Apache-2.0
use-numericalUtility-first approximate numerical helpers for RustUse118MIT OR Apache-2.0
use-tessellationTessellation primitives for the RustUse geometry workspace118MIT OR Apache-2.0
trigivsRust library for solving tridiagonal systems of linear equations using Givens rotations118MIT
use-rigid-foldingRigid folding primitives for the RustUse geometry workspace118MIT OR Apache-2.0
ocasopen Computer Algebra System — high-performance symbolic computation in Rust118LGPL-3.0-or-later
ryft-coreCore abstractions of the Ryft library.117MIT OR Apache-2.0
ryft-macrosRyft procedural macros.117MIT OR Apache-2.0
use-creaseCrease primitives for the RustUse geometry workspace117MIT OR Apache-2.0
proof-catPLONKish bridge to sumcheck proving (built on proof-cat-core)117MIT
use-unfoldingUnfolding primitives for the RustUse geometry workspace116MIT OR Apache-2.0
swarmkit-sailingSailing-route PSO physics on top of the `swarmkit` particle-swarm library. Spherical-Earth coordinates, wind / boat / landmass…116MIT OR Apache-2.0
neco-sparseLightweight COO / CSR sparse matrix types116MIT
tiny-hnswA simplified implementation of the HNSW (Hierarchical Navigable Small World) algorithm for efficient approximate nearest neighbor…115MIT
use-equationSmall equation-solving primitives for RustUse115MIT OR Apache-2.0
nabled-modelURDF and DH robot models with chain conversion for nabled Physical AI114MIT OR Apache-2.0
use-collatzUtility-first Collatz trajectory helpers for RustUse114MIT OR Apache-2.0
latexsnipper-syntaxSyntax layer — Parser + Renderer for LaTeX/OMML/Typst/Markdown114AGPL-3.0
oximoA Rust algebraic modeling library for solving optimization problems114MIT OR Apache-2.0
relmath-rsRelation-first mathematics and scientific computing in Rust.113MIT OR Apache-2.0
use-grid-searchPrimitive one-dimensional and two-dimensional grid search helpers113MIT OR Apache-2.0
use-local-searchMinimal one-dimensional hill-climbing style local search helpers113MIT OR Apache-2.0
mingotLeptos UI library for applications demanding mathematical precision - u64+ integers, arbitrary-precision decimals, zero precision…113MIT OR Apache-2.0
bitrepOrder-invariant, bit-identical floating-point reductions. Any order. Any hardware. Same bits.113MIT OR Apache-2.0
turnsFixed-point angles modulo 2π backed by unsigned integers.112MIT
use-optimization-constraintBounds and simple constraint helpers for primitive optimization112MIT OR Apache-2.0
use-lossPrimitive loss and error helpers for optimization112MIT OR Apache-2.0
latexsnipper-conversionFormat conversion — AST to LaTeX/OMML/MathML/Typst/Markdown112AGPL-3.0
ariadnetor-algorithmsTensor-network algorithms built on ariadnetor112MIT OR Apache-2.0
cartan-homogMean-field and full-field homogenisation of random media on SPD manifolds, generic over tensor order112MIT
use-simulation-resultSummary helpers for finite simulation result series111MIT OR Apache-2.0
use-monte-carloPrimitive Monte Carlo helpers for repeatable simulation runs111MIT OR Apache-2.0
pounce-rsSingle-crate facade for solving nonlinear programs with POUNCE from Rust: re-exports the TNLP trait, the IpoptApplication driver,…111EPL-2.0
qudit-instAccelerated and Extensible Quantum Library111BSD-3-Clause
ocas-cC/C++ bindings for oCAS111LGPL-3.0-or-later
acadlispAutoLISP interpreter and mini CAD engine - CSV/TPL/LSP workflow emulator for AutoCAD 9/10 (DOS era)110MIT
use-eigenUtility-first eigenvalue and eigensystem primitives for RustUse110MIT OR Apache-2.0
ni-numberHigh-precision computation of the Ni constant (η_ν) — quantum energy scattering constant. Supports multiple backends: pure-Rust…110MIT
imu-sensorsDrivers for a variety of IMU sensors.110MIT OR Apache-2.0
use-magnetismMagnetism-specific scalar helpers for RustUse110MIT OR Apache-2.0
use-collisionOne-dimensional collision helpers for RustUse110MIT OR Apache-2.0
use-oscillationOscillation and simple harmonic motion helpers for RustUse109MIT OR Apache-2.0
use-gravityGravity, orbit, and gravitational energy helpers for RustUse109MIT OR Apache-2.0
ppsd-rsSeismic PPSD (Probabilistic Power Spectral Density) computation matching ObsPy output109Apache-2.0
vasterRaster grid logic: geotransforms, cell indexing, extent-dimension arithmetic. No data, no dependencies.109MIT OR Apache-2.0
neco-array2Lightweight row-major 2D array foundation for grid-oriented crates109MIT
xalen-ephemerisXALEN Ephemeris — next-generation astronomical library — pure Rust, thread-safe, Vedic-first109Apache-2.0
use-random-walkRepeatable one-dimensional random walk helpers108MIT OR Apache-2.0
use-plasmaSmall scalar plasma physics helpers for RustUse108MIT OR Apache-2.0
use-orbitOrbital mechanics helpers for RustUse108MIT OR Apache-2.0
use-quantumScalar quantum physics helpers for RustUse108MIT OR Apache-2.0
use-particleParticle classification and metadata helpers for RustUse108MIT OR Apache-2.0
use-nuclearRadioactive decay and nuclear scalar helpers for RustUse108MIT OR Apache-2.0
neco-splinezero dependency natural cubic spline interpolation108MIT
use-search-spacePrimitive search-space helpers for optimization108MIT OR Apache-2.0
use-scorePrimitive scoring and ranking helpers for optimization108MIT OR Apache-2.0
gamlss-formulaExperimental optional formula and builder layer for typed GAMLSS models108MIT OR Apache-2.0
use-rotationRotational motion and angular dynamics helpers for RustUse107MIT OR Apache-2.0
use-rigidbodyRigid-body mass properties and scalar mechanics helpers for RustUse107MIT OR Apache-2.0
sundials-rs-sysRaw FFI bindings to the SUNDIALS C library (CVODE, CVODES, IDA, IDAS)107MIT OR Apache-2.0
use-momentumMomentum, impulse, and recoil helpers for RustUse107MIT OR Apache-2.0
use-relativitySmall special relativity scalar helpers for RustUse107MIT OR Apache-2.0
use-fluidFluid mechanics scalar helpers for RustUse106MIT OR Apache-2.0
use-torqueTorque and lever-arm helpers for RustUse106MIT OR Apache-2.0
use-staticsSmall statics helpers for RustUse106MIT OR Apache-2.0
use-electricityElectricity and simple circuit helpers for RustUse106MIT OR Apache-2.0
use-electromagnetismScalar combined electric and magnetic field helpers for RustUse106MIT OR Apache-2.0
use-geometric-complexGeometric complex primitives for the RustUse geometry workspace106MIT OR Apache-2.0
use-radiationSmall radiation physics scalar helpers for RustUse106MIT OR Apache-2.0
use-quantFacade crate for RustUse quantitative finance primitives106MIT OR Apache-2.0
use-workMechanical work helpers for RustUse105MIT OR Apache-2.0
floatsf16 and f128 floating point types for compatibility with future Rust versions105MIT
elicitation_creusotCreusot formal verification proofs for elicitation contract types105Apache-2.0 OR MIT
numinaBackend-agnostic array library for high-performance computing in Rust105Apache-2.0
ariadnetorTensor network library in Rust105MIT OR Apache-2.0
graphplotEfficient graph visualization tool for large graphs and networks.
Generates high-quality SVG plots (or PNG/PDF), supporting…104MIT
ommx-pyo3-bridgeTyped PyO3 conversions from Rust OMMX values to Python OMMX objects.103MIT OR Apache-2.0
sif-rsParser for the Standard Input Format (SIF) used in mathematical optimization103MIT
yield-curvesPure-Rust yield curve interpolation (Nelson-Siegel, Svensson, PCHIP) and bond pricing. Zero deps.103MIT OR Apache-2.0
quadprecSoftware-emulated quad precision (f128) via double-double arithmetic — Cholesky, dot, gemv for ill-conditioned linear algebra102MIT
latexsnipper-exportExport capability — RenderTree + SVG/PNG/PDF generators102AGPL-3.0
rbpGTO poker toolkit: MCCFR solver, hand evaluation, strategic abstraction, and training pipeline99MIT
unsigned-floatUnsigned floating-point formats for non-negative numeric domains.99MIT
scivex-symScivex — Symbolic math, CAS, and expression simplification98MIT
shrewA deep learning library built from scratch in Rust98Apache-2.0
motus-coreCore traits and easing system for the Motus animation library.98MIT OR Apache-2.0
pathwise-coreHigh-performance SDE simulation engine: Euler, Milstein, SRI (strong-order 1.5), CIR, Heston, correlated OU97MIT