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.
cloveA hardware-agnostic Machine Learning and Deep Learning framework featuring a native C-ABI.194MIT
convex-spreadsSpread analytics for the Convex fixed income analytics library193MIT
hpttRust bindings for HPTT (High-Performance Tensor Transposition)193MIT OR Apache-2.0
cargo-hermesFormally verify that your safety comments are correct.193BSD-2-Clause OR Apache-2.0 OR MIT
koenig-damico-plannerFaithful Rust re-implementation of the Koenig-D'Amico fuel-optimal impulsive control algorithm (IEEE TAC 2020)193MIT OR Apache-2.0
ozton-drivetrainDrivetrain models for ozton.192MIT
swarmkitComposable particle swarm optimization with nested searches192MIT OR Apache-2.0
monstertruckA Rust CAD kernel – B-rep modeling, NURBS, meshing, and GPU rendering.192Apache-2.0
gamlss-coreCore type-driven abstractions for GAMLSS modeling192MIT OR Apache-2.0
solmathDeterministic fixed-point math and quantitative finance for Solana: Greeks, IV, American KBI, NIG, TWAP, and DeFi primitives.192MIT OR Apache-2.0
topological-coherenceToroidal topology primitives for LLM coherence research — Tonnetz geometry, spectral gap, attention masks, Karmonic spectral…191Apache-2.0
ryft-pjrtRyft bindings for PJRT.190MIT OR Apache-2.0
czsc-taTechnical analysis operators of the czsc framework (EMA, SMA, rolling_rank, ultimate_smoother, ...) with optional numpy interop.…190MIT
noise-coreCore of the Noise probabilistic language: lexer, parser, evaluator, sampler.190MIT
geometry-deriveProcedural derive macros (e.g. #[derive(Point)]).189BSL-1.0
transfiniteTransfinite ordinal arithmetic library supporting ordinals up to epsilon-zero (ε₀) using Cantor Normal Form189MIT OR Apache-2.0
ryft-mlirRyft bindings for MLIR.187MIT OR Apache-2.0
mstlo-macrosProcedural macros for the mstlo online Signal Temporal Logic (STL) monitoring library.187non-standard
t4a-cubecl-zspaceTemporary tensor4all fork of CubeCL ZSpace library187MIT OR Apache-2.0
fenestra-animFrame-pure keyframe animation math: typed tracks, CSS cubic-bezier and closed-form spring easing, and an exact rational timebase…187MIT OR Apache-2.0
semiflowno_std Rust PDE solver: evolution equations via Chernoff approximation of operator semigroups (heat, diffusion, Schrodinger)186MIT OR Apache-2.0
sci-gaussfilt-rsA Rust implementation of the 1D Gaussian filter matching SciPy's behavior.186MIT
ocas-calcCalculus and equation solving for oCAS186LGPL-3.0-or-later
bessel-zerosA crate for calculating zeros of Bessel functions186MIT OR Apache-2.0
lme-rsRust port of R's lme4: linear, generalized, and nonlinear mixed-effects models185MIT
rivrs-sparseSparse linear algebra solvers184Apache-2.0
field-catFinite field algebra shared across plonkish-cat, proof-cat, and stark-cat182MIT
flowmatchFlow matching primitives (ndarray-first; backend-agnostic) with semidiscrete FM and RFM experiments.182MIT OR Apache-2.0
beaumont-linear-algebraAlgorithmic trading for quantitative financial applications181WTFPL
volterra-decDEC physics layer: Q-tensor fields, Stokes solvers, BVH semi-Lagrangian advection, Helfrich energy, and variational integrators…181MIT
symbolic_regression_wasmWASM bindings for symbolic_regression (browser-friendly wrapper via wasm-bindgen).180Apache-2.0
xre-coreCore types for xRenderEngine: math re-exports, Color, Cell, geometry, errors.180Apache-2.0
neco-nurbs2D rational NURBS curves and region representation180MIT
volterra-fieldsTensor field types on Cartesian grids: Q-tensor, velocity, pressure, and scalar fields for 2D/3D active nematics180MIT
lib-moduloFast modular arithmetic179Apache-2.0 OR MIT
mathhookHigh-performance educational computer algebra system with ergonomic Rust macros177MIT OR Apache-2.0
octonionMinimal, dependency-free, no_std octonion algebra175MIT
numra-statsStatistics for Numra: probability distributions, descriptive statistics, hypothesis tests (t, chi², KS, ANOVA), regression,…175LicenseRef-Numra-Academic-Research-NonCommercial
cartan-stochasticStochastic analysis on manifolds: orthonormal frame bundle, horizontal lift, Stratonovich development. Foundation for…175MIT
parametric_deriveA derive macro to bridge complex, hierarchical data structures with optimization algorithms that use flat parameter vectors.174MIT OR Apache-2.0
math_libraryA simple math library174Unlicense
uninumA robust, ergonomic unified number type for Rust with automatic overflow handling, type promotion, and cross-type consistency.174MIT OR Apache-2.0
use-returnPrimitive quantitative return vocabulary for RustUse174MIT OR Apache-2.0
numra-signalDigital signal processing for Numra: IIR (Butterworth, Chebyshev I) and FIR design, zero-phase filtering, resampling, Hilbert…174LicenseRef-Numra-Academic-Research-NonCommercial
numra-ocpODE-constrained optimization for Numra: single and multiple shooting, collocation, adjoint sensitivity, parameter estimation for…174LicenseRef-Numra-Academic-Research-NonCommercial
numra-fitCurve fitting for Numra: nonlinear least squares (Levenberg-Marquardt), weighted fits, polynomial fit and evaluation.173LicenseRef-Numra-Academic-Research-NonCommercial
ocas-evalEvaluation and JIT code generation for oCAS173LGPL-3.0-or-later
geometry-io-wkbOGC Well-Known Binary (WKB) reader and writer for the geometry model.172BSL-1.0
numra-fdeFractional differential equation solvers for Numra: L1 scheme for Caputo derivatives, with Mittag-Leffler utilities.172LicenseRef-Numra-Academic-Research-NonCommercial
numra-spdeStochastic partial differential equation solvers for Numra: Method of Lines with SDE time-stepping, white and colored noise…172LicenseRef-Numra-Academic-Research-NonCommercial
pounce-hslHSL linear-solver backend for POUNCE: MA57 via libcoinhsl.dylib (port of Ipopt's IpMa57TSolverInterface). Implements…171EPL-2.0
tropical-gemm-cudaCUDA backend for tropical matrix multiplication171MIT
computegraphAD-agnostic tensor computation graph engine: construction, logical resolution, physical materialization, SSA compilation, and…171MIT OR Apache-2.0
solverforge-serviceJVM lifecycle management for SolverForge170Apache-2.0
metalforgeforge: a deterministic metaheuristic optimization substrate in Rust. Unified Problem/MultiProblem/Anneal traits; DDS, SCE-UA, DE,…170MIT OR Apache-2.0
latexsnipper-imageImage processing capability — decode, transform, encode170AGPL-3.0
t4a-cubecl-coreTemporary tensor4all fork of CubeCL core170MIT OR Apache-2.0
cellbookDynamic computational notebook environment in plain Rust169MIT
shrew-irParser and IR for the .sw (Shrew) declarative model format169Apache-2.0
numra-ddeDelay differential equation solvers for Numra: method of steps with embedded Runge-Kutta and Hermite history interpolation.169LicenseRef-Numra-Academic-Research-NonCommercial
helioxideRust implementation of NREL Solar Position Algorithm (SPA)168MIT OR Apache-2.0
shrew-dataData loading, datasets, and batching for Shrew168Apache-2.0
ferro_ta_corePure Rust core indicator library — no PyO3, no numpy dependency168MIT
latexsnipper-tensorTensor type — shared across Image, Inference, Runtime168AGPL-3.0
use-objectiveObjective direction and objective value helpers for primitive optimization168MIT OR Apache-2.0
qae-kernelDomain-agnostic safety certification kernel for AI agents and autonomous systems167BUSL-1.1
deep_causality_num_complexComplex, quaternion, and octonion number types for deep_causality.167MIT
cargo-cellbookCellbook project runner and command line utility167MIT
numixA fast, lightweight Rust library for math operations and numeric computations.167MIT
numra-ideVolterra integro-differential equation solvers for Numra: general quadrature solver plus Prony-series fast path for exponential…167LicenseRef-Numra-Academic-Research-NonCommercial
geocoordinatesLow-level geospatial coordinate primitives: China datums (GCJ-02/BD-09), angle encodings, coordinate parsing/formatting, and…166MIT OR Apache-2.0
use-polynomialSmall polynomial primitives and operations for RustUse166MIT OR Apache-2.0
cyanea-statsStatistical methods for the Cyanea bioinformatics ecosystem166MIT OR Apache-2.0
rust-igraphPure-Rust, high-performance graph & network analysis library — 1297 APIs, zero unsafe, igraph-compatible166GPL-2.0-or-later
neco-complexLightweight complex-number foundation for FFT and solver crates166MIT
numra-integrateNumerical integration for Numra: adaptive Gauss-Kronrod, fixed Gauss-Legendre/Laguerre/Hermite, composite rules, double integrals.166LicenseRef-Numra-Academic-Research-NonCommercial
oxinum-rationalExact rational numbers for OxiNum (RBig via dashu-ratio)165Apache-2.0
bunny-numDeterministic numeric profiles for Bunny graphics primitives.165Apache-2.0
use-distanceSmall point-to-point distance helpers for RustUse geometry165MIT OR Apache-2.0
dashu-cmplxA big arbitrary precision complex number library164MIT OR Apache-2.0
rssn-advancedThis is rssn-advanced: The next generation symbolic core of rssn.164Apache-2.0
andlockCount Android-style unlock patterns on n-dimensional grids163MIT OR Apache-2.0
curve-mathPure Rust port of Curve Finance AMM math (StableSwap + CryptoSwap). Wei-level precision, fuzz-verified against on-chain get_dy…163MIT
glpk-api-sdkRust client SDK for GLPK REST API163MIT OR Apache-2.0
riesFind algebraic equations given their solution - Rust implementation162MIT
rustsim-geometry2-D and 3-D geometric primitives and queries for rustsim (points, AABB, segments, rays, triangles, closest-point, raycast)162MIT
flow-gate-corePure-Rust implementation of the ISAC Gating-ML 2.0 gate evaluation engine — transforms, gates, and event matrices162MIT
tnormsT-norm and t-conorm families162MIT OR Apache-2.0
xalen-westernWestern astrology computations — aspects, dignities, returns, progressions, Hellenistic162Apache-2.0
convex-riskRisk analytics for the Convex fixed income library - duration, convexity, DV01, VaR161MIT
embedded-expExponentielle valeurs neégatives en virgule fixe Q15 pour systèmes embarqués `no_std`, zéro dépendance160GPL-2.0-or-later
symbios-textureProcedural texture generation core for bevy_symbios_texture.160MIT
relayrl_algorithmsIndependent / Multi-Agent Proximal Policy Optimization (PPO) Algorithms for the RelayRL framework160Apache-2.0
borsalinoThin GPU compute abstraction — Metal and Vulkan backends for Industrial Algebra159Apache-2.0
sankhyasankhya — Ancient mathematical systems, historical calendars, and archaeoastronomy: 10+ calendar systems, 8 civilizations of…159GPL-3.0-only
arael-sketch-backendHeadless backend for arael-sketch: commands, actions, history, MCP server158MIT
use-lineSmall 2D line primitives for RustUse geometry158MIT OR Apache-2.0
arrow-ml-commonShared error types and runtime backend plugin registry for arrow-ml.157Apache-2.0
quarks-zkQuarks: Quadruple-efficient transparent zkSNARKs - Implementation of Kopis-PC, Dory-PC, and Lakonia/Kopis/Xiphos SNARKs157MIT
czsc-signalsQuantitative signal functions of the czsc framework (most users should depend on the `czsc` facade instead):…157MIT
rustkernelsGPU-accelerated kernel library for financial services, analytics, and compliance workloads156Apache-2.0
symbios-tensorA procedural generation engine for urban layouts.156MIT
czsc-utilsUtilities of the czsc framework (most users should depend on the `czsc` facade instead): BarGenerator, frequency calendar,…156MIT
proxima-mlGeneric distance and similarity metrics for machine learning155MIT OR Apache-2.0
crypto-ratioRational number arithmetic using crypto-bigint154MIT OR Apache-2.0
tuppu-exprSymbolic expression system for Tuppu Nabu154MIT OR Apache-2.0
gategen2The library to generate Gate circuits (second version).154Apache-2.0
ferrotorch-diffusionStable-Diffusion-family model composition for ferrotorch (Phase B.3: VAE decoder)153MIT OR Apache-2.0
tracktorMulti-target tracking with random finite sets153AGPL-3.0-or-later
tuppu-persistencePersistence layer for Tuppu Nabu workspaces153MIT OR Apache-2.0
prolog-squaredA Meta-Interpretive Learning framework implementing second-order SLD resolution153non-standard
cnfgen2Generate DIMACS CNF formula from operations (second version)152Apache-2.0
quoracleA library for constructing and analyzing read-write quorum systems152MIT OR Apache-2.0
nanogbmA small, pure-Rust gradient boosting library (GBDT, binary classification, CPU only).152MIT
smart-calculatorNatural-language calculator for math, units, time zones, dates, fiat, and crypto conversions151MIT
bunny-linalgLinear algebra primitives for Bunny graphics contracts.151Apache-2.0
deep_causality_num_dualDual number type (forward-mode automatic differentiation) for deep_causality.150MIT
pixlThe lightweight, powerful Rust game engine and rasterizer built from scratch150MIT
bevy_autodiff-macrosProcedural macros for bevy_autodiff automatic differentiation150MIT
tiduAutomatic-differentiation transforms (linearize, transpose, eager reverse-mode) for primitive computation graphs.149MIT OR Apache-2.0
scivex-statsScivex — Statistical distributions, hypothesis tests, correlation, regression149MIT
use-archimedeanArchimedean solid metadata for the RustUse geometry workspace149MIT OR Apache-2.0
use-cellCell-complex primitives for the RustUse geometry workspace149MIT OR Apache-2.0
xalen-worldNon-Western/non-Chinese calendar and astrology systems — Mayan, Tibetan, Korean Saju, Japanese Nine Star Ki, Burmese Mahabote149Apache-2.0
xalen-ichingI Ching (Yijing) — 64 hexagrams, 8 trigrams, date-based casting, nuclear & relating hexagrams149Apache-2.0
use-incidenceIncidence geometry primitives for the RustUse geometry workspace148MIT OR Apache-2.0
use-circleSmall circle primitives for RustUse geometry148MIT OR Apache-2.0
latexsnipper-runtimeRuntime abstraction — Session, Provider, ModelHandle148AGPL-3.0
deep_causality_calculusArrow-native differentiation and integration operators (the tangent functor over Dual, endomorphism iteration over endo-arrows,…147MIT
radio-controllersDrivers for SBUS, IBUS, Crossfire/ExpressLRS receivers.147MIT OR Apache-2.0
xalen-lalkitabLal Kitab remedial astrology — house-based analysis, planetary debts, dormancy, 108-slot remedy lookup (text not bundled),…147Apache-2.0
ziffleMental poker library implementing Bayer-Groth 2012 shuffle proofs for multi-party card shuffling without a trusted dealer146MIT OR Apache-2.0
latexsnipper-modelModel management — manifest, config, download, cache146AGPL-3.0
symbios-audioAn algorithmic audio generator.146MIT
t4a-cubecl-stdTemporary tensor4all fork of CubeCL standard library145MIT OR Apache-2.0
ipfRust implementation of the iterative proportional fitting algorithm145MIT
ferrotorch-graphGraph neural network composition for ferrotorch (Phase D.1: GCN on Cora)144MIT OR Apache-2.0
apolloniusN-dimensional Euclidean geometry for Rust: points, vectors, lines, segments, hyperspheres, hyperplanes, AABBs, triangles, and a…144MIT OR Apache-2.0
geometry-projCoordinate-reference-system reprojection for the geometry kernel, backed by the pure-Rust proj4rs engine.144BSL-1.0
cvxrustA Rust implementation of Disciplined Convex Programming144Apache-2.0
xalen-numerologyNumerology — Pythagorean & Chaldean systems, Life Path, Expression, Soul Urge144Apache-2.0
exintAn implementation of generic signed and unsigned integers.143MIT OR Apache-2.0
use-schlafliSchlafli symbol notation for the RustUse geometry workspace143MIT OR Apache-2.0
mxpmMaxima Package Manager143MIT OR Apache-2.0
gpufftUnified GPU-accelerated FFT for Rust: Vulkan via VkFFT, CUDA via cuFFT.143Apache-2.0
gamlss-familyDistribution families and likelihoods for GAMLSS modeling143MIT OR Apache-2.0
use-modularSmall modular arithmetic primitives for RustUse142MIT OR Apache-2.0
use-primeSmall prime number utilities for RustUse142MIT OR Apache-2.0
deep_causality_fftFast Fourier transform (FFT, rFFT, N-dimensional) for the deep_causality crate.142MIT
poincare-appInteractive 3D mathematical graphing application142MIT
oxilean-stdOxiLean standard library142Apache-2.0
rustuseComposable facade for RustUse utility crates142MIT OR Apache-2.0
use-dimensionDimension primitives for the RustUse geometry workspace141MIT OR Apache-2.0
maythA general-purpose math library for Rust.141MIT
ferrotorch-bertBERT-family encoder-only model composition and sentence-embedding inference for ferrotorch140MIT OR Apache-2.0
ferrotorch-whisperWhisper-family audio encoder model composition and log-mel preprocessing for ferrotorch140MIT OR Apache-2.0
morpion-solitaireMorpion Solitaire: a GUI + headless solver (NRPA, perturbation, exhaustive) for record hunting, with a WebAssembly build.140GPL-3.0-or-later
use-planePlane primitives for the RustUse geometry workspace140MIT OR Apache-2.0
ariadnetor-mpsMatrix Product State / Operator (MPS / MPO) data structures and operations for ariadnetor140MIT OR Apache-2.0
geometry-io-wktOGC Well-Known Text (WKT) reader and writer for the geometry model.139BSL-1.0
mstloA Rust library for online monitoring of Signal Temporal Logic (STL) specifications.139non-standard
temperedSignal and spatial processing primitives on n-dimensional arrays139MIT OR Apache-2.0
geometry-io-svgSVG output for Cartesian geometries — a debugging convenience.138BSL-1.0
fixed-math-taylorHigh-performance fixed-point trigonometry library optimized for microcontrollers without FPU. 100% no_std.138GPL-2.0-or-later
eisensteinZero-drift hexagonal lattice constraints via Eisenstein integers — exact arithmetic for safety-critical systems138MIT OR Apache-2.0
bayesianA naive Bayesian classifier with optional TF-IDF support138MIT
stateset-pricingDeterministic, WASM-compatible pricing engine for StateSet Commerce138MIT OR Apache-2.0
bunny-geomGeometry primitives for Bunny graphics contracts.138Apache-2.0
heuroptA practical Rust toolkit for heuristic single-, multi-, and many-objective optimization.138MIT
pounce-studio-corePure-Rust parsers and analysis helpers for pounce solve reports and POUNCEIT iter-dumps.137EPL-2.0
ozton-controlControls theory primitives in ozton.137MIT
rustebraA hybrid no_std/alloc linear algebra crate for Rust, scaling from embedded targets to dynamic Krylov subspace solvers.137Apache-2.0
use-rayRay primitives for the RustUse geometry workspace137MIT OR Apache-2.0
nabled-kinematicsSerial and tree robot kinematics (FK, Jacobian, DLS IK) for nabled Physical AI136MIT OR Apache-2.0
pounce-cinterfaceC ABI for POUNCE (port of Ipopt's Interfaces/IpStdCInterface.{h,cpp}). Provides CreateIpoptProblem / IpoptSolve /…136EPL-2.0
use-motionBasic kinematics helpers for RustUse136MIT OR Apache-2.0
ferrotorch-rlReinforcement-learning policy composition for ferrotorch (Phase D.2: PPO MlpPolicy / sb3 CartPole)135MIT OR Apache-2.0
geometry-adapt-nalgebraAdapt nalgebra points and vectors to the geometry-trait concept surface.135BSL-1.0
use-powerAverage, mechanical, and electrical power helpers for RustUse135MIT OR Apache-2.0
use-pressurePressure and hydrostatic pressure helpers for RustUse135MIT OR Apache-2.0
geometry-adapt-geo-typesAdapt geo-types geometries to the geometry-trait concept surface.134BSL-1.0
geometry-io-geojsonRFC 7946 GeoJSON reader and writer for the geometry model.134BSL-1.0
stripackSafe wrapper for STRIPACK for Delaunay triangulation on the unit sphere134MIT OR Apache-2.0
convex-hull-rsConvex hull algorithms in pure Rust: Graham scan, Jarvis march, Quickhull, Chan's algorithm134MIT OR Apache-2.0
volterra-solverActive nematic solvers: operator splitting, Beris-Edwards, Stokes (stream-function + Killing), and defect tracking on Cartesian…134MIT
use-densityDensity, mass, and volume helpers for RustUse133MIT OR Apache-2.0
use-thermodynamicsIdeal gas and heat-energy helpers for RustUse133MIT OR Apache-2.0
snaphu-sysLow-level Rust bindings to the SNAPHU C library132non-standard
use-price-seriesPrimitive ordered price-series vocabulary for RustUse quantitative crates132MIT OR Apache-2.0
use-portfolio-weightPrimitive portfolio weight vocabulary for RustUse quantitative crates132MIT OR Apache-2.0
minmax-cliprograms computing min and max argument values132Unlicense OR CC0-1.0
use-forceForce, weight, and impulse helpers for RustUse132MIT OR Apache-2.0
use-energyWork and mechanical energy helpers for RustUse132MIT OR Apache-2.0
gamlss-splineSpline bases, penalties, and metadata for GAMLSS modeling132MIT OR Apache-2.0
matamorphSeamless conversions between Rust’s major matrix libraries: ndarray, faer, nalgebra, and mdarray.131MIT OR Apache-2.0
machine-catGeneric AIR chip framework built on proof-cat-core131MIT
pounce-cliCommand-line driver for POUNCE — solves built-in TNLPs and AMPL .nl files.130EPL-2.0
use-barPrimitive OHLC and OHLCV bar vocabulary for RustUse quantitative crates130MIT OR Apache-2.0
div-pow10Fast division by powers of 10.130MIT
use-riskPrimitive quantitative risk vocabulary for RustUse130MIT OR Apache-2.0