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.
sundials-rsSafe Rust bindings to the SUNDIALS ODE/DAE solver library (CVODE, CVODES, IDA, IDAS)97MIT OR Apache-2.0
scivex-optimScivex — Optimization, root finding, and numerical integration97MIT
advanced-algorithmsA comprehensive library of advanced algorithms for numerical analysis, linear algebra, cryptography, optimization, and graph…96MIT OR Apache-2.0
fft-dihedralFast Fourier transforms for the dihedral group over NTT-friendly coefficient rings96MIT
why_rsA Causal Inference library for Rust.96MIT OR Apache-2.0
petite-adA lightweight automatic differentiation library for learning and educational purposes96MIT OR Apache-2.0
lowdiscLow-discrepancy sequences96MIT OR Apache-2.0
regit-covarianceCovariance matrix denoising for financial risk validation. Marchenko-Pastur filtering, Ledoit-Wolf shrinkage, detoning. Pure…95Apache-2.0
nabled-controlDARE, LQR, gramians, and pole placement for nabled Physical AI control95MIT OR Apache-2.0
vita-coreZero-dependency primitives for atomistic and molecular computation.95MIT OR Apache-2.0
rivrs-linalgNumerical linear algebra95Apache-2.0
matmulFast matrix multiplication in Rust with AVX2/AVX-512 SIMD, built from scratch95MIT
texformLaTeX formula parser, editor, and normalizer — the public TeXForm facade95Apache-2.0
dogleg-matxMatrix algebra abstractions for the dogleg crate94MIT
toraniko-stylesStyle factor implementations for the toraniko factor model93MIT
t_convertA rust library which can take integer or floating point inputs, or parsed string inputs in order to convert temperature between…93MIT OR Apache-2.0
evalicaEvalica, your favourite evaluation toolkit.93Apache-2.0
shrew-cudaNVIDIA CUDA GPU backend for Shrew93Apache-2.0
arisA mathematical computing library92Apache-2.0
nabled-sensorKalman, EKF, IMU, and camera models for nabled Physical AI estimation91MIT OR Apache-2.0
minimlA minimal, blazing-fast WASM-powered machine learning library with SIMD acceleration90BUSL-1.1
nabled-dynamicsRNEA, CRBA, and forward dynamics (serial + tree) for nabled Physical AI90MIT OR Apache-2.0
antecedent-coreIdentifiers, schemas, assumptions, provenance, and execution policy shared across the Antecedent causal inference engine; start…90MIT OR Apache-2.0
apielA subset of the APL programming language implemented in Rust. Exports a macro for evaluating APL expressions from Rust code,…90MIT
eratoA library for primality testing algorithms with benchmarking89MIT
pcloud-cat-corePoint cloud processing on comp-cat-rs: ICP registration, normal estimation, anomaly detection89MIT OR Apache-2.0
use-acousticsComposable primitive acoustics utilities for Rust.89MIT OR Apache-2.0
enum_paritya macro that enforces enum discriminant bit parity88MIT OR Apache-2.0
rayxFast ray intersection using Baldwin-Weber algorithm88BSD-3-Clause
ferrum-core-macrosProcedural macros for ferrum-core (FerrumRecord, s![], promoted_type!)87MIT OR Apache-2.0
bitlistWord-sized bit list implementation with bigint functionality87MIT
gamlss-diagnosticsPost-fit diagnostics utilities for GAMLSS modeling87MIT OR Apache-2.0
geometric_rep_theoryAlgebraic and geometric structures arising in mathematical physics and mirror symmetry.87MIT
parabolaRepresentation of a parabola of the form `ax² + bx + c`.86GPL-3.0-only
dicengFast dice expression parser, roller, and probability analyzer86MIT
oxinumOxiNum — Pure-Rust arbitrary-precision math (GMP/MPFR-free via dashu)86Apache-2.0
use-measurePractical measurement and conversion primitives for RustUse.86MIT OR Apache-2.0
gamlss-transformTarget transforms for GAMLSS modeling86MIT OR Apache-2.0
gramianA Gram matrix and pseudo-Riemannian metric: an inner product of arbitrary signature expressed in a basis.86MIT OR Apache-2.0
quant-primitivesPure trading primitives — candles, intervals, symbols, currencies, asset taxonomy85MIT
circulant-rsHigh-performance block-circulant tensor operations using FFT85MIT OR Apache-2.0
optionrsA high-performance option pricing library for Rust, supporting Black-Scholes, binomial tree, Monte Carlo simulation, PDE and…85Apache-2.0
kmeans_uniFast, safe K-Means++ with SIMD acceleration, mini-batch training and WASM support.85MIT OR Apache-2.0
use-optimizationComposable facade crate for RustUse optimization primitives85MIT OR Apache-2.0
prime-splinesSpline math — Bezier, Catmull-Rom, B-spline, slerp85MIT
rscopulasCore Rust library for fitting, evaluating, and sampling copula models and vine copulas85MIT
coorderTyped affine coordinates: points tagged by the space they live in, and the affine maps between them.85MIT OR Apache-2.0
prime-colorColor math — Oklab, sRGB, HSL/HSV, palette generation84MIT
manifold-rustPure Rust port of the Manifold 3D geometry library84Apache-2.0
hypertriHyperreal-backed triangulation algorithms with exact geometric predicates84MIT OR Apache-2.0
fast-factorFast functions for factoring unsigned integers84MIT
exo-hypergraphHypergraph substrate for higher-order relational reasoning with persistent homology and sheaf theory83MIT OR Apache-2.0
prime-noiseNoise functions — Perlin, Simplex, FBM, Worley, curl83MIT
geo_distanceA simple crate for calculating distances between 2D points.83MIT
flow-linalgfaer-based linear algebra primitives for flow cytometry: compensation and spectral unmixing83MIT
multiindexCombinatorics of finite index sets: colex-ranked subsets and cartesian multi-indices.83MIT OR Apache-2.0
ferrum-coreN-dimensional array type and foundational primitives for ferrum82MIT OR Apache-2.0
fft-symmetricFast Fourier transforms for symmetric groups over prime finite fields82MIT
antecedent-kernelsLow-level borrowed views and scalar/optimized numerical kernels for the Antecedent engine; start with the `antecedent` crate82MIT OR Apache-2.0
infogeomInformation geometry on the simplex: Fisher-Rao geodesics, alpha-geodesics, and natural gradient82MIT OR Apache-2.0
arpackSafe Rust wrapper around ARPACK-NG82MIT OR Apache-2.0
grapherityGraph models and algorithms82MIT OR Apache-2.0
euca-mathSIMD-ready game math: Vec2/3/4, Quat, Mat4, Transform, AABB — zero deps beyond serde81MIT
distr-combinatorsA standalone library of combinators for rand::Distribution81MIT
prime-interpInterpolation — easing, lerp, smoothstep, smootherstep81MIT
prime-signalSignal processing — smoothdamp, spring, low_pass, deadzone81MIT
prime-sdfSigned distance functions — 2D and 3D primitives, CSG operations, domain transforms81MIT
m2s2-mathA linear algebra library for game engines and renderers — vectors, matrices, and quaternions with multi-API projection support…81MIT
use-unitsCross-domain unit primitives for RustUse.81MIT OR Apache-2.0
latexsnipper-pipelineLaTeXSnipper Core — one-line image to LaTeX/Markdown/Typst81AGPL-3.0
use-statsComposable statistical primitives for RustUse.80MIT OR Apache-2.0
oxileanOxiLean - A Pure Rust theorem prover and dependent type checker inspired by Lean 480Apache-2.0
cad-csCalculations on Coordinate Systems (2D/3D geometry, vectors, transformations)80MIT OR Apache-2.0
neco-eigensolveLightweight solvers for generalized eigenvalue problems79MIT
ozton-motionMotion control algorithms in ozton.79MIT
derhamThe discrete de Rham complex: cochains, Whitney interpolation, and the de Rham map, bridging a simplicial mesh and the continuum…79MIT OR Apache-2.0
arithmaAn easy to use, domain-specific programming language for numeric mathematics.78MIT OR Apache-2.0
bunny-queryRay-casting and spatial query math solvers for Bunny.78Apache-2.0
qfall-schemesCollection of prototype implementations of lattice-based cryptography78MPL-2.0
czsc★ Recommended entry point ★ — czsc (缠中说禅) facade crate; re-exports the full Rust workspace (core/utils/ta/signals/trader) so a…78MIT
simplicialA simplicial manifold of arbitrary dimension, with geometry as a pluggable input: topology, atlas, and Regge or embedded metrics.78MIT OR Apache-2.0
embedded-vectorVecteurs f32 2D, 3D et 4D pour systèmes embarqués no_std, sans unsafe, sans allocation77GPL-2.0-or-later
ndmeshFinite element mesh library.77BSD-3-Clause
spectral-budgetA Faber-Krahn-derived budget primitive for token windows, time horizons, or any bounded sequential domain.77MIT OR Apache-2.0
gamlssType-driven Rust crates for GAMLSS modeling77MIT OR Apache-2.0
forex-splitSplit a receipt in one currency into categories for bookkeeping in another currency.77MIT
inlierRobust model fitting primitives for RANSAC-based pipelines in Rust.76MIT
polynomials-eccA library for operating on polynomials over the BLS12-38176MIT
symbitSymbolic bitvector library with bitwise and integer arithmetic support76MPL-2.0
embedded-sqrtRacine carrée en virgule fixe Q15 pour systèmes embarqués `no_std`, zéro dépendance76GPL-2.0-or-later
rintA pure Rust library for the numerical integration of real or complex valued functions of real variables in multiple dimensions.75GPL-3.0-or-later
npls1Implementation of the N-PLS1 algorithm with Tikhonov L2 regularization in the Rust language75MIT
mnk-gamesK-in-a-row games74MIT
ruvector-sparsifierDynamic spectral graph sparsification: always-on compressed world model for real-time graph analytics74MIT
symdiffCompile-time symbolic differentiation for Rust via a proc-macro attribute. Generates closed-form gradients at compile time.74MIT
l_srtdeRust implementation of the L-SRTDE algorithm for large-scale global optimization.74MIT
embedded-matrixMatrices 2x2 et 3x3 en f32 pour systèmes embarqués no_std, sans dépendance74GPL-2.0-or-later
tensorlogic-oxicuda-rngOxiCUDA RNG wrapper for TensorLogic (GPU + CPU fallback)73Apache-2.0
simple-ringEducational implementation of polynomial rings, NTT, and coefficient sampling for lattice-based cryptography73CECILL-B OR Apache-2.0
cmeans-rsA high-performance Rust crate for soft clustering and subspace clustering algorithms (Fuzzy C-Means, Subspace K-Means).73MIT
logicaffeine-runtimeDeterministic concurrency runtime (scheduler, channels, seed/trace) for the Logicaffeine interpreter and VM. Pure, WASM-safe,…73BUSL-1.1
zfp-rs-ffiC ABI bindings layer around zfp-rs: mirrors the zfp-sys API73MIT OR Apache-2.0
treemaker-coreCore Rust model engine for the TreeMaker 5.0.1 port73GPL-2.0-or-later
vm-catProvable stack-machine VM built on machine-cat73MIT
elkrsNative-Rust, byte-exact reimplementation of the Eclipse Layout Kernel (ELK) graph layout algorithms, with a CLI73Apache-2.0
lumambaLuMamba EEG foundation model — inference in Rust on the RLX runtime73GPL-3.0-only
pythagorean48-codesShared 48-direction trust encoding for SuperInstance fleet agents72MIT
aluAgent Logic Unit — deterministic math evaluation CLI for AI agents72Apache-2.0
findatesFinancial date arithmetic: business day calendars, day count conventions, and schedule generation.72MIT OR Apache-2.0
tensorlogic-oxicuda-solverOxiCUDA linear solver wrapper for TensorLogic (GPU + CPU fallback)71Apache-2.0
covstreamLean-backed fixed-dimension streaming covariance and Ledoit-Wolf shrinkage71MIT
yin_rsImplementation of the YIN algorithm for estimating the fundamental frequency of an audio signal in Rust. Optimized for speed, and…71MIT
straight-skeletonInteger-constrained straight skeleton of polygons with holes, with per-edge distance limits71GPL-2.0-or-later
candle-mps-flash-attentionMPS Flash Attention for candle - O(N) memory attention on Apple Silicon71MIT
whetstoneParses and evaluate string representations of mathematical expressions in various syntaxes71GPL-3.0
tenrsoProduction-grade tensor computing stack - meta crate re-exporting all TenRSo components71Apache-2.0
bilbyA high-performance numerical quadrature (integration) library for Rust71MIT OR Apache-2.0
solvrAdvanced computing library for real-world problem solving - optimization, differential equations, interpolation, statistics, and…70Apache-2.0
si-prefixesA crate for converting between units using different SI prefixes.70MIT
tauformerA Transformer Architecture using arrowspace's taumode70Apache-2.0
erdos-unit-distanceCertified unit-distance point sets and graphs for discrete geometry in Rust.70MIT OR Apache-2.0
hypercurveHyperreal-backed planar curves, contours, and regions for CAD topology70Apache-2.0
datarustScikit-learn-style preprocessing and classical ML in Rust70MIT
wrapped-decimalPOD-safe 16-byte wrapper for rust_decimal::Decimal.69MIT
zimaAn attempt to create a modern package for the needs of applied statistics69MIT OR Apache-2.0
additive-fft-reed-solomon-gf2p8GF(2^8) field structure for additive FFTs (Lin, Al Naffouri, Han)69MIT
gamlss-specialSpecial functions and numerical helpers for GAMLSS modeling69MIT OR Apache-2.0
anneal-coreSimulated annealing components built on the eindir typed primitives.69MIT
tensorlogic-oxicuda-sparseOxiCUDA sparse matrix wrapper for TensorLogic (GPU + CPU fallback)68Apache-2.0
pixelizationAn image quantization and pixelization library implementing K-Means and PIA (Pixelated Image Abstraction).68MIT
rotorlab-gaConst-generic geometric algebra core for the rotorlab animation engine. Implements 3D Projective Geometric Algebra (Cl(3,0,1))…68Apache-2.0
nnaNNA(Natural Number Array), A creative unsigned big integer.68MIT
cartan-maxwellMaxwell evolution on a prescribed evolving simplicial-Riemannian (Regge) background68MIT
exteriorThe exterior algebra of a vector space, with the Hodge star and musical isomorphisms.68MIT OR Apache-2.0
ockhamA comprehensive Operations Research toolkit for linear programming, optimization, and mathematical modeling67MIT OR Apache-2.0
arrow-ml-activationsNeural network activation functions (ReLU, GELU, Sigmoid, SiLU, Tanh, Softmax) for Apache Arrow arrays.67Apache-2.0
neutron-diffusion-ddA high-performance neutron transport solver using the S_N (Discrete Ordinates) method with domain decomposition. Solves the 1D…67MIT
prime-dynamicsDynamical systems — RK4/RK45, Lorenz, Duffing, L-systems, Newton-Raphson67MIT
prime-diffusionDiffusion systems — Gray-Scott reaction-diffusion, cellular automata67MIT
path-traitsTower-like generic traits for parametric paths, segments, and geometric queries67EUPL-1.2 OR MIT OR Apache-2.0
monatqApproximate quantile tracking for tensors using T-Digest, with element-wise parallel updates67Apache-2.0
amx-rsHigh-level ergonomic API for AMX (Apple Matrix eXtensions) - matrix and vector operations66MIT OR Apache-2.0
antecedent-statsStatistical kernels, regression, and linear-algebra backends for the Antecedent causal inference engine; start with the…66MIT OR Apache-2.0
mathlex-evalNumerical evaluator for mathlex ASTs with broadcasting support66Apache-2.0
latexsnipper-engineCore engine — orchestrates all capabilities66AGPL-3.0
glattThe smooth continuum manifold a simplicial mesh approximates: parametrizations and analytic differential-form data on it.66MIT OR Apache-2.0
lds-genLow-Discrepancy Sequence (LDS) Generator in Rust66MIT
copt-solverAn unofficial Rust API for COPT (Cardinal Optimizer)65MIT
rust-portfolio-optPure-Rust port of PyPortfolioOpt: expected returns, risk models, mean-variance optimisation, Black-Litterman, hierarchical risk…65MIT
mathcore_nostdSymbolic math library and computer algebra system for Rust. Forked to work in no_std environments.65MIT
numancyNumerology calculations (Pythagorean and Brazilian cabalistic) as a pure, dependency-free Rust library.65Apache-2.0
prime-voronoiVoronoi / Delaunay — cellular noise, Lloyd relaxation65MIT
prime-renderPure sample-level scan loop — fold a pure step function over N audio samples65MIT
yatrosci-constantsPhysical constants based on CODATA 2018 recommended values65AGPL-3.0-or-later
oxiphysicsUnified physics engine - Bullet/OpenFOAM/LAMMPS/CalculiX replacement65Apache-2.0
arrow-ml-linalgLinear algebra, reduction, reshaping, convolution, and pooling kernels operating on Apache Arrow arrays.64Apache-2.0
scivexA comprehensive Rust library replacing the Python data science ecosystem64MIT
avila-mathArxis Foundation: The ARX (fortress) - Mathematical kernel with quaternions, tensors, 4D geometry, Conv4D, differential operators64MIT OR Apache-2.0
q-rustA modular quantum transpiler and QASM 2.0 parser written in Rust.64MIT OR Apache-2.0
oxiblas-ffiC FFI bindings for OxiBLAS - a pure Rust BLAS/LAPACK library64MIT OR Apache-2.0
autoeq-roomsimRoom acoustic simulator63GPL-3.0-or-later
neco-gf256zero dependency GF(2^8) finite field arithmetic63MIT
prime-oscOscillators — LFO shapes, ADSR envelope63MIT
tcal_rsNumber theory functions library - Rust port of libqalculate number theory module63GPL-2.0-or-later
antecedent-probProbability distributions, columnar posteriors, priors, and inference backends for the Antecedent engine; start with the…62MIT OR Apache-2.0
prime-spatialSpatial queries — ray tests, AABB, frustum culling62MIT
vecfitPure-Rust relaxed vector fitting for scalar, vector, matrix, and tensor-valued frequency responses.62MIT OR Apache-2.0
ndatafusionExtensions and support for linear algebra in DataFusion62Apache-2.0
cliffy-gpuWebGPU compute shaders for geometric algebra operations61MIT
garbongusFluid mechanics library: pipe sizing, pump power, Manning equation, multi-segment pipelines, seawater properties, Bernoulli,…61MIT
statskitStatistical judgment and evaluation: classification metrics, calibration, bootstrap, and system comparison61MIT OR Apache-2.0
aris-cliCommand-line interface for Aris61Apache-2.0
legendreBlock-structured, deterministic, scheduler-driven PDE simulation framework61MIT OR Apache-2.0
cliffy-testAlgebraic testing framework for Cliffy - tests as geometric invariants60MIT
avila-linalgAvila Linear Algebra - Álgebra linear genuína em Rust para o ecossistema Avila (vetores, matrizes, SVD, eigenvalues)60MIT OR Apache-2.0
mtxlibA library to work with matrices.60MIT OR Apache-2.0
yatrosci-linalgLinear algebra operations for SciRS - eigenvalues, SVD, decompositions60AGPL-3.0-or-later
phop-coreCore engine for phop: tensorized EML forests, differentiable topology, and discovery60Apache-2.0
minikanren_1bit_chirhominiKanren as 1-bit matrix operations - hardware-accelerated logic programming with SIMD, GPU, and FPGA support. Includes Sudoku…59MIT
kalixDeclarative Kalman filtering from dynamics expressions. Write the physics, derive the filter.59MIT
oztonA meta-framework for building compeition robots with vexide.59MIT
xmt-libA grounder for SMT solvers59MIT
cubr-corePure, Bevy-free 3x3x3 Rubik's cube model (integer-math CubeCore) and a guaranteed-optimal Korf solver with a two-phase fallback59MIT
nndexIn-memory nearest neighbor search engine.59MIT
num-rational-parseA flexible string parsing extension for num_rational::Ratio, supporting fractions, decimals, and scientific notation (inspired by…59MIT OR Apache-2.0
lie-groupsLie groups and Lie algebras for computational mathematics58BSD-3-Clause
strange-attractorsStudy into strange attractor visualization in a TUI.58MIT
wagyu-rs-cliCLI for wagyu-rs geometry boolean operations57BSL-1.0
antecedent-dataCausal data views and Arrow-backed adapters for the Antecedent causal inference engine; start with the `antecedent` crate57MIT OR Apache-2.0
maxproMaximum Projection and Maximin Latin Hypercube Design creation and optimization57MIT OR Apache-2.0
spatial-motionGeneric spatial transforms and movement, built on geometric algebra traits57MIT OR Apache-2.0
neco-edge-routingnecosystems series 2D edge routing primitives for node graphs57MIT
gspxSparse graph signal processing and spectral graph wavelets in Rust56GPL-3.0-only
nabled-simPhysical AI simulation, control, and estimation pipelines for nabled56MIT OR Apache-2.0
hex-arm-dynamicsSerial-arm kinematics and gravity torque G(q) from a URDF: forward kinematics + gravity compensation, hand-rolled linear algebra…56MIT
kalman-fixed-agnosticFiltre de Kalman adaptatif en virgule fixe pour systèmes embarqués `no_std`, zéro dépendance56GPL-2.0-or-later
matrix_handlerUma biblioteca leve e eficiente para manipulação, operações matemáticas e transformação de matrizes em Rust. Focada em…56MIT
aocl-fftSafe Rust wrappers for AOCL-FFTW56MIT OR Apache-2.0
hajeA linear algebra library, developed by yours truly, and probably not that efficient.56MIT
formoniqFinite Element Exterior Calculus (FEEC): PDEs formulated with differential forms and solved on simplicial pseudo-Riemannian…56MIT OR Apache-2.0