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.
chord_nameA library for working with chord names in music theory.1,023MIT OR Apache-2.0
exg-lunaLUNA seizure-detection preprocessing pipeline for EEG — built on exg1,023GPL-3.0-only
cdflibPure-Rust port of CDFLIB: cumulative distribution functions (CDF) associated with common probability distributions1,021MIT
u-nesting-coreCore traits and abstractions for U-Nesting spatial optimization engine1,019MIT
multi_compareMacro for comparing multiple values in a concise way. (a < b < c)1,012MIT
sum_rangeThe sum of all consecutive numbers, both even and odd.1,009MIT
running_bufferdata types for keeping track of changing values, allowing analysis in trends and histories.1,007MIT
groebnerA Rust library implementing Groebner basis algorithms1,003MIT
pindakaas-intel-satbuild of the Intel SAT solver for the pindakaas crate1,003MIT
sklears-model-selectionModel selection utilities for sklears: cross-validation, grid search, train-test split1,001Apache-2.0
logicaffeine-compileLOGOS compilation pipeline - codegen and interpreter999BUSL-1.1
ferrotorch-dataData loading, batching, and transforms for ferrotorch997MIT OR Apache-2.0
calculator-danielgorgonhaSimple library for u32 operations including power and logarithm996MIT
nalgebra_block_triangularizationStructural decomposition of sparse matrices into block triangular form using graph algorithms996MIT
goniometryA simple Rust module for working with trigonometric functions like sine, cosine, tangent and much more to come.993MIT
ftl-numkernelA library designed to provide numerical operations and error handling for both real and complex numbers, also supporting…990non-standard
num_parser2A math interpreter and evaluator (fork of num_parser)989MIT
normalityA Rust crate for assessing the normality of a data sample.986MIT
commutator-rsCommutator operations for non-commutative algebras982AGPL-3.0-only
xodA tiny REPL for bitwise arithmetic and expression evaluation.980MIT OR Apache-2.0
euler-rsA command line tool for solving Project Euler problems in Rust979MIT OR Apache-2.0
cobre-solverLP/MIP solver abstraction layer with HiGHS backend for power system optimization979Apache-2.0
ferrunitasA type-safe unit conversion library with compile-time dimensional analysis978Apache-2.0
sublinearHigh-performance sublinear-time solver for asymmetric diagonally dominant systems977MIT OR Apache-2.0
sklears-treeDecision tree algorithms for sklears: CART, ID3, C4.5977Apache-2.0
thermal_rsThermal Conduction Simulation Library976MIT
rlwfcRust implementation of Wave Function Collapse (WFC) algorithm with type safety and direction-aware grid system976MIT OR Apache-2.0
cartan-geoGeodesic computation and geometric tools for cartan: geodesic curves, curvature queries, Jacobi fields976MIT
mappers_warpVery simplistic tool for reprojecting maps, based on GdalWarp975Apache-2.0
eunoiaA library for creating area-proportional Euler and Venn diagrams974MIT OR Apache-2.0
ark-feanorBridge between arkworks finite fields and feanor-math ring system971MIT OR Apache-2.0
abacoMath engine — expression evaluation, unit conversion, and numeric types for Rust967AGPL-3.0-only
mlua-mathlibMath library for mlua — RNG, distributions, hypothesis testing, ranking, information theory, and statistics966MIT OR Apache-2.0
cartan-decDiscrete exterior calculus on Riemannian manifolds: simplicial complexes, Hodge operators, and covariant differential operators…966MIT
rustplexA linear programming solver based on the Simplex algorithm for Rust964MIT OR Apache-2.0
manopt-rsA high-performance Rust library for manifold optimization built on the Burn deep learning framework963MIT
mathengine-unitsComprehensive unit conversion system supporting multiple measurement dimensions963MIT OR Apache-2.0
computation-typesTypes for abstract mathematical computation960MIT
evian-motionMotion control algorithms in evian.959MIT
russell_pdeEssential tools to solve partial differential equations; not a full-fledged PDE solver954MIT
poly_interpA simple but powerful polynomial library focused on interpolation between points.953BSD-3-Clause
amari-calculusGeometric calculus - unified differential and integral calculus using geometric algebra953MIT OR Apache-2.0
aann-graphApproximate all-nearest-neighbour search over neighbourhood graphs, SIMD-accelerated, with optional Python bindings.953GPL-3.0-or-later
torshA blazingly fast, production-ready deep learning framework written in pure Rust951Apache-2.0
sklears-neighborsNeighbor-based algorithms for sklears: k-NN, radius neighbors951Apache-2.0
xicorAn implementation of Sourav Chatterjee's xi-correlation coefficient948MIT / Apache-2.0
viser-hullConvex hull (Pareto frontier) and BD-Rate computation for viser948BSD-2-Clause
luna-rsLUNA EEG Foundation Model — inference in Rust (Burn and/or RLX)945Apache-2.0
sto-nsA lightweight, pure Rust, no-std kernel for exact ns Slater-type orbital Coulomb integrals, optimized for both semi-empirical and…943MIT
complex_rsA simple and efficient complex number library in Rust.942MIT
icentral-compare-runtimeA Rust crate for comparing brandes runtimes941MIT OR Apache-2.0
utils-box-bitsA toolbox of various small RUST utilities that make bit types handling easier940MIT
icentral-fast-brandesEfficient Rust implementation of Brandes algorithm for computing betweenness centrality on graphs with support for complex…937MIT OR Apache-2.0
sariSimple arithmetic expression evaluator933MIT OR Apache-2.0
ferrayA NumPy-equivalent library for Rust — N-dimensional arrays with SIMD acceleration929MIT OR Apache-2.0
icentral-operation-updateEfficiently updates betweenness centrality scores in graphs. Supports edge operations on connected and biconnected components…926MIT OR Apache-2.0
qora-flQora: Quorum-Oriented Robust Aggregation for Federated Learning925MIT OR Apache-2.0
amari-optimizationGeometric optimization algorithms leveraging Amari's Tropical-Dual-Clifford fusion925MIT OR Apache-2.0
nabled-coreCore ndarray-native types and shared utilities for nabled924MIT OR Apache-2.0
icentral-matchProvides constructs for graph-based computations and detailed analysis of betweenness centrality within undirected graphs.924MIT OR Apache-2.0
icentral-parallel-brandesEfficient parallel computation of betweenness centrality using Brandes' algorithm in large graphs, leveraging Rust's concurrency…924MIT OR Apache-2.0
icentral-test-speedupProvides methods for estimating graph algorithm speedups without assuming edges belong to the same biconnected component. Useful…923MIT OR Apache-2.0
simple_math_utilsA simple Rust crate for basic math functions922MIT
kn0sys-ecc-rsIntuitive library for elliptic curve cryptography tutorials920Apache-2.0
icentral-count-bccA Rust crate for counting biconnected components in graphs with a specified minimum number of edges, useful for network analysis…920MIT OR Apache-2.0
icentral-naivenaive implementation of betweenness centrality920MIT OR Apache-2.0
rusty-psfA comprehensive Point Spread Function (PSF) library for microscopy and optical systems919BSD-3-Clause
doodle_unit_toolsA library for handling and working with multiple different unit types.918MIT OR Apache-2.0
tuppu-scalarExact scalar arithmetic with rational numbers and uncertainty tracking for geometric algebra918MIT OR Apache-2.0
mathematicalA versatile math library917non-standard
icentral-test-fast-brandesHighly optimized Brandes algorithm for computing betweenness centrality in network graphs.917MIT OR Apache-2.0
astrograph-binA library dedicated to provinding astronomical predictions of non-chaotic and deterministic bodies.915LGPL-3.0-or-later
AddNumberAdd a one number to another number. Made this for class if you use this just why914MIT
tensor_optimA tiny tensor engine lacking compromise on portability913MIT
shullFast sweep-hull (S-hull) Delaunay triangulation in 2D and 3D912GPL-3.0-only
ucum-unitsA total, conformance-tested implementation of UCUM (Unified Code for Units of Measure): parse, validate, analyze, compare and…910MIT
kolakoski_algorithmsEfficient algorithms for the Kolakoski sequence906MIT OR Apache-2.0
prime_finder_rustA prime finder made in Rust (originally made in c++)902MIT
imgalA fast and open-source scientific image processing and algorithm library.901Unlicense OR MIT
scurve_motionS-Curve motion planning library899Apache-2.0
tenflowers-autogradAutomatic differentiation engine for TenfloweRS898Apache-2.0
minilambA minimal lambda calculus library in Rust895MIT OR Apache-2.0
control-sysA Control System library implemented in Rust to design and analyze control systems.894MIT
nottA versatile math library892non-standard
bellande_artificial_intelligence_frameworkA comprehensive artificial intelligence and computer vision training framework developed by Bellande AI Research.
Provides tools…892GPL-3.0-or-later
fixed_analyticsFixed-point mathematical functions. Accurate, deterministic, and panic free.892MIT
formallythe open-source formal methods toolchain887non-standard
convex-mathMathematical utilities for the Convex fixed income analytics library886MIT
aprender-gpuPure Rust PTX generation for NVIDIA CUDA - no LLVM, no nvcc886MIT
tensorlogic-scirs-backendSciRS2-powered tensor execution backend for TensorLogic884Apache-2.0
tenflowers-datasetData pipeline and dataset utilities for TenfloweRS884Apache-2.0
use-vectorSmall vector primitives and operations for RustUse884MIT OR Apache-2.0
pbt-macrosHigh-throughput property-based testing with `derive`, swarm-testing, precise sizing, and full graph-theoretic type analysis over…880MIT OR Apache-2.0
neuro-divergent-modelsNeural forecasting models implemented using ruv-FANN for time series forecasting878MIT OR Apache-2.0
robomathA lightweight, efficient, and generic mathematics library for 3D applications, with a focus on robotics and simulation.877MIT
integralNative-Rust Gaussian integrals for quantum mechanics (driver + public API).877Apache-2.0 OR MIT
numra-coreCore traits and types for the Numra numerical methods library: Scalar, Vector, Signal, Uncertainty, error model.877LicenseRef-Numra-Academic-Research-NonCommercial
type_evalType level evaluation and proof-carrying876MIT OR Apache-2.0
symbolic-mguSymbolic logic unification using Most General Unifiers (MGU). Implements Meredith's condensed detachment for exploring automated…876MIT OR Apache-2.0
s2rstA Rust port of Google's S2 spherical geometry library — points, regions, shapes, and a hierarchical cell index on the sphere.876Apache-2.0
surge-sparseSparse matrix infrastructure: KLU solver, COO-to-CSC conversion, complex sparse utilities874PolyForm-Noncommercial-1.0.0
tiny-voPatch tracker868MIT OR Apache-2.0
akselA library for handling scales and transformations864MIT
ferrotorch-gpuCUDA GPU backend for ferrotorch860MIT OR Apache-2.0
ripoptA memory-safe interior point optimizer in Rust858EPL-2.0
russell_nonlinNumerical continuation methods to solve nonlinear systems of equations858MIT
CartesianTreeBuild hierarchical Cartesian coordinate systems to easily transform poses.857MIT
pounce-commonCommon primitives for POUNCE (port of Ipopt's src/Common): types, exceptions, journalist, options, tagged objects, cached results.852EPL-2.0
greenersHigh-performance econometrics with R/Python formulas. Two-Way Clustering, Marginal Effects (AME/MEM), HC1-4, IV Predictions,…852MIT
liglicko2Lichess-flavored Glicko-2 rating system851Apache-2.0 OR MIT
hekate-mathA high-performance, constant-time implementation of binary tower fields (F(2^k)) optimized for Sumcheck, GKR-based provers, and…850Apache-2.0
stft-rsSimple, streaming-friendly, no_std compliant STFT implementation with mel spectrogram support850MIT
tribev2TRIBE v2 — multimodal fMRI brain encoding model inference in Rust847Apache-2.0
ferromotion-coreRobot kinematic optimization in Rust — FK, analytic Jacobians, Levenberg-Marquardt IK. WASM-clean.845MIT OR Apache-2.0
mathengine-lexerHigh-performance lexical analyzer for mathematical expressions with unit support839MIT OR Apache-2.0
calculator-catitodevBiblioteca simples para operação com i32835MIT
safe-math-macrosProcedural macros for overflow-safe arithmetic operations834MIT OR Apache-2.0
ratio-metadataRatio's metadata model.834MPL-2.0
cobre-sddpStochastic Dual Dynamic Programming (SDDP) for hydrothermal dispatch and energy planning831Apache-2.0
nabled-linalgNdarray-native linear algebra algorithms for nabled829MIT OR Apache-2.0
sklears-gaussian-processGaussian Process models for regression and classification828Apache-2.0
cadcore-mathFundamental math primitives for the cadcore CAD kernel - Point3, Vec3, Mat3, Frame3828MIT
pounce-linalgLinear algebra primitives for POUNCE (port of Ipopt's src/LinAlg): BLAS-1, Vector and Matrix abstractions, dense…825EPL-2.0
ferray-numpy-interopPython/NumPy interop via PyO3 and Arrow/Polars for ferray825MIT OR Apache-2.0
zeta-quantizationAdvanced quantization engine for efficient LLM inference824MIT OR Apache-2.0
tuppu-algebraGeometric algebra with exact rational coefficients — vectors, bivectors, rotors, and more823MIT OR Apache-2.0
cgarCGAL-like computational geometry library in Rust819MIT
ferray-ioNumPy-compatible file I/O (.npy, .npz, memory-mapped) for ferray818MIT OR Apache-2.0
gateconvert_execThe program to convert Gate circuit from/to foreign logic format.811Apache-2.0
infmachine_genThe Infinite Machine generator library.811Apache-2.0
circuit_sat_checkSimple utility to generate circuit checking to CNF formula.810Apache-2.0
bignum-igA Rust implementation for Numbers from ± 10 ^ i64::MIN - 9.999.. * 10 ^ i64::MAX. The Primary Use of this is for Incremental…808LGPL-3.0-only
rustedbytes-piComputes digits of Pi using the Chudnovsky algorithm807GPL-3.0
tensoratuWork in progress: Tensor network library804MIT OR Apache-2.0
rust-matrixAn implementation of foundational matrix operations for matrices containing <f32>, <f64> or complex numbers built from those…802MIT
zakatA type-safe, comprehensive, and Fiqh-compliant Zakat calculation library. Supports Gold, Silver, Business, Agriculture,…802MIT
linreg-coreLightweight regression library (OLS, Ridge, Lasso, Elastic Net, WLS, LOESS, Polynomial) with 14 diagnostic tests, cross…797MIT OR Apache-2.0
nalgebra-randv09General-purpose linear algebra library with transformations and statically-sized or dynamically-sized matrices.797Apache-2.0
sklears-simdHigh-performance SIMD acceleration primitives for the Sklears machine learning ecosystem793Apache-2.0
discrete_pidA PID controller for robotics and discrete control systems791MIT
expression_parser_sympyHigh-level API for mathematical expression parsing and evaluation789MIT
lie-rsLie series and Baker-Campbell-Hausdorff formula computations788AGPL-3.0-only
infmachineThe Infinite Machine.781Apache-2.0
unitconvRust Simple Unit Converter777MIT
metal-matrixHigh-performance linear algebra library with Metal GPU acceleration775MIT
stochastic-rs-coreCore traits, SIMD RNG, and macros for stochastic-rs.775MIT
bevy_newtonReal-time physics engine for Bevy engine774MIT OR Apache-2.0
unsloth-rsRust implementations of transformer building blocks for LLM inference774MIT
u-analyticsStatistical process control, process capability, Weibull reliability, change-point detection, measurement system analysis (Gage…774MIT
u-nesting-d22D nesting algorithms for U-Nesting spatial optimization engine773MIT
formally-support-macrosthe open-source formal methods toolchain - basic support functionality - proc macros772non-standard
convex-curvesTerm structure framework for yield curves, credit curves, and multi-curve environments771MIT
quantwave-coreA high-performance, Polars-native technical analysis library for Rust.770MIT
phys-raycastRay casting functionality for 3D physics shapes769non-standard
oldies-coreCore types for legacy simulator revival - ODE systems, time series, ion channels768MIT OR Apache-2.0
rbf-interpolationRadial basis function interpolation in Rust using nalgebra767non-standard
complex-besselPure Rust implementation of complex Bessel functions (J, Y, I, K, H, Airy) based on Amos Algorithm 644767MIT OR Apache-2.0
ferrotorch-visionVision models, datasets, and transforms for ferrotorch763MIT OR Apache-2.0
nlaPure Rust Numerical Linear Algebra Package.763MIT OR Apache-2.0
cadcore-geomAnalytic geometry primitives for the cadcore CAD kernel - curves, surfaces (Plane, Cylinder, Torus, Sphere)761MIT
hyperjetForward-mode automatic differentiation with const-generic, stack-allocated first-, second-, and third-order jets (Jet1/Jet2/Jet3)…760BSD-3-Clause
zagreb-libA Rust library for analyzing graph properties using the Zagreb index and Hamiltonian criteria758MIT
vsa-optim-rsDeterministic training optimization using VSA compression and closed-form gradient prediction757MIT
e9571_math_libA Rust crate for high-precision numerical calculations and percentage comparisons756MIT
ferrotorch-profilerOperation profiling and Chrome trace export for ferrotorch753MIT OR Apache-2.0
symbiosA derivation engine for L-Systems (ABOP compliant).753MIT
omeletA lightweight, game-orented math library for Rust, including vectors, matrices, and quaternions.752MIT
yufmathA Rust CAS Lib.751MIT
cowryA micro-library for precise currency math and rounding control in Rust.749MIT OR Apache-2.0
micro_cartan_attnComplete Cartan matrix attention mechanisms with proper Lie algebra structures748MIT OR Apache-2.0
rmtRandom matrix theory: Marchenko-Pastur, Wigner semicircle, eigenvalue statistics747MIT OR Apache-2.0
yuzu-corePure, I/O-free backtest engine core for US equity strategies.747MIT
ferrotorch-trainTraining loop, metrics, and callbacks for ferrotorch742MIT OR Apache-2.0
super_fair_divisionA library for fair division algorithms741MIT
ferrotorch-cubeclPortable GPU backend for ferrotorch via CubeCL (CUDA, ROCm, WGPU)741MIT OR Apache-2.0
zakat-coreCore mathematical logic, data structures, Fiqh rules, and input validation for Zakat calculations.740MIT
typed-moneyA type-safe money library for Rust that prevents currency mixing bugs at compile time739MIT OR Apache-2.0
quickcountSleek, minimal and blazingly fast word counter app.737BSD-3-Clause
mixed-signalsGeneric signal generator library for animations, audio, games, and simulations737MIT
ferray-stringsString operations on character arrays for ferray736MIT OR Apache-2.0
torsh-jitJIT compilation and kernel fusion for ToRSh deep learning framework734Apache-2.0
curso7-8Biblioteca de teste para funçoes simples somar e sub733MIT
rand-halfRandom number generation support for half-precision floating point types732MIT
stochastic-rs-distributionsProbability distributions with SIMD bulk sampling.729MIT
rsdiff-graphsComputational graphs for Rust728Apache-2.0
rsdiff-maththe crate provides custom mathematical operations for rsdiff728Apache-2.0
z3rsA pure-Rust port of the Z3 theorem prover, free of third-party and native dependencies728MIT
tenflowers-neuralNeural network layers, models and training APIs for TenfloweRS722Apache-2.0
aspect-ratioScale a 2D rect to fit or cover one or more bounds, optionally preserving aspect-ratio721MIT
mosekcomodel-optserverMOSEK OptServer backend for mosekcomodel720MIT
prism-qPRISM-Q: Performance Rust Interoperable Simulator for Quantum720MIT OR Apache-2.0
bevy_symbios_textureAlgorithmic texture generator for Bevy.719MIT
oxiphysics-coreCore types, traits, and abstractions for the OxiPhysics engine715Apache-2.0
uncertain-rsA Rust library for uncertainty-aware programming, implementing the approach from 'Uncertain<T>: A First-Order Type for Uncertain…714MIT
aprender-simulateUnified Simulation Engine for the Sovereign AI Stack714MIT
ferrotorch-distributionsProbability distributions for ferrotorch — PyTorch in Rust713MIT OR Apache-2.0
geosets-rsA Rust library for continuous set arithmetic.706MIT
rustquakeRustQuake is a high-performance Rust library for group motion calculations, signal processing, and seismic response analysis,…705MIT OR Apache-2.0
mathlexMathematical expression parser for LaTeX and plain text notation, producing a language-agnostic AST703Apache-2.0
tinylearnMachine learning in WebAssembly and no_std environments702BSD-3-Clause