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.
talib-in-rustA library of technical indicators for financial analysis, similar to TA-Lib482MIT
ppflibAdvanced computational library for Physics-Prime Factorization (PPF): quantum mechanics through number theory, featuring Sign…481MIT OR Apache-2.0
beaumont-macrosAlgorithmic trading for quantitative financial applications480WTFPL
ruthrilA powerful AI/ML framework is under development480MIT
pounce-qpSparse parametric active-set quadratic programming subproblem solver for POUNCE. Drives the active-set SQP NLP path and the…476EPL-2.0
hcoLIB: Math and container utilities for Rust. Notice: study purpose, not production ready.475MIT OR Apache-2.0
integral-coreIntegral engines (Obara-Saika / Rys) and operator layer for the integral crate.475Apache-2.0 OR MIT
enigma-cliA command-line interface for an Enigma machine simulator. Configurable with any reflector, number of rotors, and plugboard pairs.473MIT
stochastic-rs-copulasBivariate, multivariate, and empirical copulas.472MIT
avr-int2424 bit integer arithmetic for AVR471MIT OR Apache-2.0
surge-opfSurge OPF — Optimal Power Flow solvers (DC-OPF, AC-OPF, SCOPF)471PolyForm-Noncommercial-1.0.0
ferromotion-clothDifferentiable FEM thin-shell cloth (StVK membrane + bending) for physical AI. WASM-clean.468MIT OR Apache-2.0
formally-smt-macrosthe open-source formal methods toolchain - SMT abstraction layer - proc macros468non-standard
pounce-algorithmAlgorithm-side core for POUNCE (port of Ipopt's src/Algorithm/): IteratesVector, IpoptData, CalculatedQuantities, KKT solvers,…467EPL-2.0
amari-probabilisticProbability theory on geometric algebra spaces - distributions, stochastic processes, and Bayesian inference for…465MIT OR Apache-2.0
apex-camera-modelsCamera projection models (pinhole, fisheye, omnidirectional) for computer vision and robotics462Apache-2.0
monkeysortSorts stuff using Bubblesort!459Apache-2.0
solana-clmm-raydiumPure-Rust, no-RPC swap math for the Raydium concentrated-liquidity AMM (CLMM) on Solana. Extracted from the on-chain program with…459MIT OR Apache-2.0
dpp-calcEU-methodology compliance calculators (CO2e, repairability) for Odal Node — pure, stateless459Apache-2.0
causal-hubA library for causal models, inference and discovery.458AGPL-3.0-only
rank-refineSIMD-accelerated MaxSim, cosine, diversity (MMR/DPP) for vector search and RAG pipelines457MIT OR Apache-2.0
rankfnsScoring functions for information retrieval457MIT OR Apache-2.0
pounce-observabilityObservability for POUNCE (pounce#71): tracing subscriber install, tiger/rust themed text formatter, and the per-iteration…456EPL-2.0
pr4xisAxiomatic Intelligence — an ontology + category-theory reasoning engine: every claim derived from explicit axioms, with a proof…455CC-BY-NC-SA-4.0
apfpAdaptive precision floating-point arithmetic for robust geometric predicates455Unlicense
rfannA pure Rust implementation of the Fast Artificial Neural Network (FANN) library453MIT
prejsx_mathA minimal math expression parser using only Rust's standard library449MIT OR Apache-2.0
geometric-langlands-cliUser-friendly CLI for the Geometric Langlands computational framework447MIT
oxicuda-sparseOxiCUDA Sparse - GPU-accelerated sparse matrix operations (cuSPARSE equivalent)444Apache-2.0
oxillama-quantQuantization kernels for all GGUF quantization types444Apache-2.0
lightwalk_macroMacros for lightwalk440non-standard
pmetal-mhcManifold-Constrained Hyper-Connections (mHC) for stable deep network training440MIT OR Apache-2.0
mathtomathConvert mathematical expressions between different formats436GPL-3.0-or-later
ferromotion-tactileDifferentiable optical-tactile (GelSight/DIGIT) sensor simulation — gel deformation → photometric image. WASM-clean.435MIT OR Apache-2.0
conformal-predictionConformal prediction with formal verification: CPD, PCP, streaming calibration, and Lean4 proofs434MIT OR Apache-2.0
math-bemHigh-performance Boundary Element Method library for acoustic scattering433GPL-3.0-or-later
ferrodecno_std IEEE 754-2019 Decimal128 for embedded use, with Kani-verified properties433MIT OR Apache-2.0
toraniko-primitivesCore type definitions for the toraniko factor model432MIT
break-eternity-rsFork of break-eternity: a numerical library to represent numbers as large as 10^^1e308 and as 'small' as 10^-(10^^1e308).432MIT
ferrotorch-tokenizeText tokenization wrapper around the HuggingFace tokenizers crate for ferrotorch431MIT OR Apache-2.0
formally-iothe open-source formal methods toolchain - input/output and parsing utilities431non-standard
ferromotion-rodDifferentiable Discrete Elastic Rods for cables, tendons, and continuum/soft robots. WASM-clean.430MIT OR Apache-2.0
xad-rsExact automatic differentiation for Rust — forward-mode, reverse-mode, first- and second-order, with a unified `Real` trait for…426AGPL-3.0-or-later
ferray-polynomialPolynomial operations (evaluation, fitting, roots, arithmetic) for ferray424MIT OR Apache-2.0
seiza-statsShared robust statistics for astrophotography pipelines423Apache-2.0
abaxA lightweight Rust library providing high-precision mathematical constants and special functions, including Bernoulli numbers,…422MIT
tanmatratanmatra — Atomic and subatomic physics: Standard Model, nuclear structure, radioactive decay, spectral lines421GPL-3.0-only
carbon-simdSIMD utilities written with Rust (fularuen project)419MIT
graphmind-optimizationHigh-performance metaheuristic optimization algorithms (Jaya, Rao, TLBO, BMR, BWR, QOJaya, ITLBO) in Rust.419Apache-2.0
bowling-rsA basic bowling score calculator written in Rust.416MIT
bobyqaDependency-free BOBYQA: derivative-free minimization of a box-constrained function from values alone — a faithful pure-Rust port…415MIT OR Apache-2.0
gnu-unitsSafe Rust bindings for the GNU units conversion414GPL-3.0-or-later
vle-unitsDimensional analysis and unit conversion for vapor-liquid equilibrium and thermodynamic calculations413MIT
oxicuda-solverOxiCUDA Solver - GPU-accelerated matrix decompositions (cuSOLVER equivalent)412Apache-2.0
signature-rs-binCLI Application that computes the log signature from path data412AGPL-3.0-only
cord-path2 dimensional coordinate based path finder410AGPL-3.0-only
torsh-modelsPre-trained models and model zoo for ToRSh deep learning framework410Apache-2.0
siSI and IEC prefixes406Apache-2.0 OR MIT
decimal-scaledConst-generic base-10 fixed-point decimals (D18/D38/D76/D153/D307 and the half-width tiers up to D1232) with integer-only…406MIT OR Apache-2.0
axonml-quantModel quantization for the Axonml ML framework405MIT OR Apache-2.0
bcurveDLMM bonding curve405MIT
torsh-metricsComprehensive evaluation metrics for ToRSh - powered by SciRS2405Apache-2.0
embedded-f32-sqrtRacine carrée f32 Newton-Raphson pour no_std embarqué,testée sur Cortex-M33/M4F403GPL-2.0-or-later
stochastic-rs-quantQuantitative finance: pricing, calibration, vol surfaces, instruments.402MIT
ade-topological-sortTopological sorting algorithm for directed graphs.400MIT OR Apache-2.0
ommx-deriveInternal derive macros for the `ommx` crate.400MIT OR Apache-2.0
rlnc-cat-rsRandom Linear Network Coding over GF(2^8), built on comp-cat-rs398MIT OR Apache-2.0
precision-coreDeterministic fixed-point arithmetic for financial computation398MIT OR Apache-2.0
ade-elementary-circuitsImplementation of Johnson's algorithm for finding elementary circuits in directed graphs.397MIT OR Apache-2.0
ferray-autodiffForward-mode automatic differentiation for ferray397MIT OR Apache-2.0
ade-graphCore graph data structures and utilities for directed graphs.395MIT OR Apache-2.0
mathhook-macrosProcedural macros for MathHook - expr!, symbol!, symbols!, function!393MIT OR Apache-2.0
markov-chain-monte-carloA composable Markov Chain Monte Carlo (MCMC) framework for arbitrary state spaces in Rust393BSD-3-Clause
geometry-coordsCoordinate scalar trait, type promotion, and comparable-form wrappers.392BSL-1.0
clmulCarry-less multiply for Rust, internally uses llvm or compiler intrinsics, with fallback if the CPU has no clmul instruction390MIT OR Apache-2.0
probability-rsDependency-free probability distributions; clear APIs, deterministic sampling.389MIT
leanr-rag-gatewayMulti-lane RAG gateway with cost routing and verified safety proofs using lean-agentic388Apache-2.0
ssskitFast, small and secure Shamir's Secret Sharing library crate388MIT OR Apache-2.0
tropical-gemmHigh-performance tropical matrix multiplication with SIMD and CUDA backends387MIT
arael-sketch-solver2D constraint-based sketch solver: entities, constraints, and optimization387MIT
gravita-mathMinimal 2D math primitives for game development and physics simulation386MIT
anomalyx-detectanomalyx detector registry: point, distributional, structural, multivariate and cadence families386MIT OR Apache-2.0
roofyA simple and lightweight game-engine math library385MIT OR Apache-2.0
mathengineComplete mathematical expression evaluator with unit conversions384MIT OR Apache-2.0
frlearn_mathFuzzy/rough math primitives and safe numeric transformations.382MIT
oxigdal-analyticsAdvanced geospatial analytics for OxiGDAL - Time series, clustering, hotspot analysis, and interpolation382Apache-2.0
sklears-pythonPython bindings for sklears machine learning library using PyO3382Apache-2.0
symbolic_regressionRust port of SymbolicRegression.jl.381Apache-2.0
reduction-factorProvides a type representing reduction factor.381MIT
qudit-tensorAccelerated and Extensible Quantum Library381BSD-3-Clause
quantwaveA high-performance, Polars-native technical analysis library for Rust.381MIT
tensorlogicLogic-as-Tensor planning layer - meta crate re-exporting all TensorLogic components380Apache-2.0
geometry-csCoordinate system types: Cartesian, Spherical, Geographic, and angle units.377BSL-1.0
oxihuman-physicsPhysics simulation for OxiHuman — soft body, capsule colliders, porous flow377Apache-2.0
path-kitRust path operations library based on Skia PathOps and PathKit - union, intersect, simplify, stroke, RRect376BSD-3-Clause
constraint-theory-coreDeterministic manifold snapping with O(log n) KD-tree indexing — maps continuous vectors to exact Pythagorean coordinates376MIT
elenchus-cliCommand-line interface for the elenchus consistency checker: check a .vrf string or file and report CONSISTENT / WARNING /…375MIT
elenchus-mcpModel Context Protocol (MCP) server for the elenchus consistency checker: exposes an `elenchus_check` tool over stdio JSON-RPC…372MIT
flickersA crate for calculating Allan-like deviations and other time and frequency stability statistics functions.372MIT
bevy_symbiosBevy integration for the Symbios L-System ecosystem.372MIT
hyper-taTechnical analysis indicators — RSI, MACD, Bollinger Bands, multi-timeframe370MIT
geometry-tagGeometry kind tags and the tag-hierarchy marker traits.369BSL-1.0
shrew-cpuCPU backend implementation for Shrew369Apache-2.0
geometry-traitConcept traits (Point, Linestring, Ring, Polygon, multi-variants, …) for the Boost.Geometry Rust port — implement them for your…368BSL-1.0
tribev2-videoV-JEPA2 ViT-G video feature extraction for TRIBE v2 (RLX / rlx-models)368Apache-2.0
numra-odeODE and DAE solvers for Numra: DoPri5, Tsit5, Verner 6/7/8, Radau5, ESDIRK 3/4/5, BDF, plus forward sensitivity analysis.367LicenseRef-Numra-Academic-Research-NonCommercial
tribev2-audioWav2Vec-BERT 2.0 audio feature extraction for TRIBE v2 (RLX / rlx-models)365Apache-2.0
alpaca-optionProvider-neutral option semantics and math for the alpaca-rust workspace365MIT OR Apache-2.0
ferrotorch-jit-scriptProcedural-macro front end for ferrotorch-jit: #[script] attribute that compiles a Rust function body into a TracedModule364MIT OR Apache-2.0
scirs2-symbolicSymbolic mathematics for SciRS2 — EML-native CAS, expression trees, differentiation, simplification364Apache-2.0
opencctUtilities for Call Center simulation and optimal staffing.363MIT OR Apache-2.0
crypto-bigint-synclessPure Rust implementation of a big integer library which has been designed from
the ground-up for use in cryptographic…363Apache-2.0 OR MIT
conversions_rsA comprehensive unit conversion library, CLI tool, and WebAssembly module with full SI (International System of Units) support363MIT OR Apache-2.0
yatrosci-coreCore traits, types, and error handling for SciRS scientific computing363AGPL-3.0-or-later
formally-smtthe open-source formal methods toolchain - SMT abstraction layer362non-standard
peulerA Rust crate with solutions to the Project Euler problems361MIT
symbios-shapeA derivation engine for CGA Shape Grammars.361MIT
temperature-convertTemperature unit converter between Celsius, Fahrenheit and Kelvin.360MIT
qfall-mathMathematical foundations for rapid prototyping of lattice-based cryptography360MPL-2.0
aprender-sparseSparse matrix formats and operations — CSR, COO, BSR with SIMD-accelerated SpMV/SpMM358MIT OR Apache-2.0
min_infmachine_execThe Minimalistic Infinite Machine Executor and Debugger.356Apache-2.0
resistor-tuiProgram to calculate resistors354GPL-3.0-or-later
med-bedDigital MedBed protocol - heal consciousness by replacing dissonant genes with resonant ones353MIT
beaumont-numbersAlgorithmic trading for quantitative financial applications353WTFPL
aprender-solveDense linear algebra solvers — LU, QR, SVD, Cholesky with provable contracts352MIT OR Apache-2.0
corp-finance-coreInstitutional-grade corporate finance calculations with 128-bit decimal precision — DCF, WACC, comps, LBO, credit metrics,…351MIT
splinefitB-spline curve and surface fitting — pure-Rust Dierckx engine with ergonomic API351MIT OR Apache-2.0
tuppu-sceneScene graph with exact coordinates and motor transforms351MIT OR Apache-2.0
type-proof-macrosMacros for the type-proof crate351MIT
symjit-bridgea bridge bwtween Symjit compiler and Symbolica CAS351MIT
oxiphysics-geometryGeometric shape types for the OxiPhysics engine351Apache-2.0
dotnet-rngImplementation of .NET's Random algorithm based on Knuth's subtractive method349MIT
rhai-bigintRhai plugin providing arbitrary-precision BigInt support348MIT
zeckA Rust library for compressing and decompressing data using the Zeckendorf representation algorithm346MIT
oxicudaOxiCUDA - Pure Rust CUDA replacement for the COOLJAPAN ecosystem (95% performance target)345Apache-2.0
pbt-testsProperty-based testing with `derive` macros, aware of mutual induction & instantiability.345MIT OR Apache-2.0
sphereql-corePure spherical math primitives for sphereQL343MIT
quantwave-pluginsPolars expression plugins for quantwave342MIT
vle-thermoVapor-liquid equilibrium thermodynamic calculator: 22+ cubic EOS, activity models, mixing rules, flash algorithms342MIT
perfgate-statsStatistical functions for benchmarking analysis341MIT OR Apache-2.0
numra-autodiffAutomatic differentiation for Numra: forward-mode (Dual numbers) and reverse-mode (tape) for gradients and Jacobians.340LicenseRef-Numra-Academic-Research-NonCommercial
axonml-fusionKernel fusion optimization for the Axonml ML framework340MIT OR Apache-2.0
pericynthionAstrological ephemeris computation library: pure-Rust NASA JPL Ephemerides reader339CC0-1.0
geometry-modelBuilt-in concrete geometry types (Point, Segment, Box, Linestring, Polygon, …) mirroring Boost.Geometry models — or bring your…337BSL-1.0
primesieve_wrapperWrapper for Primesieve C library337BSD-2-Clause
cartanRiemannian geometry, manifold optimization, and geodesic computation in Rust337MIT
rmumpsPure Rust multifrontal sparse symmetric indefinite solver336CECILL-C
bevy_symbios_groundBevy integration for an algorithmic terrain engine.336MIT
stripack-sysRaw Rust FFI bindings to STRIPACK for Delaunay triangulation on the unit sphere336MIT OR Apache-2.0
cmaes-lbfgsbHigh-performance CMA-ES and L-BFGS-B optimization algorithms for constrained and unconstrained problems335MIT OR Apache-2.0
cargo-annealFormally verify that your safety comments are correct.335BSD-2-Clause OR Apache-2.0 OR MIT
powersasaSASA and molecular volume computation using Power diagrams333LGPL-3.0-or-later
rcombCombinatorial objects, traits, collections332MIT OR Apache-2.0
pbt-macro2High-throughput property-based testing with `derive`, swarm-testing, precise sizing, and full graph-theoretic type analysis over…332MIT OR Apache-2.0
temporal-lead-solverTemporal computational lead via sublinear local solvers for diagonally dominant systems331MIT OR Apache-2.0
u-nestingDomain-agnostic 2D/3D spatial optimization engine - nesting and bin packing331MIT
fast-sdeHigh-performance Monte Carlo simulation for stochastic differential equations in quantitative finance330MIT OR Apache-2.0
gsdesignGroup sequential design330MIT
ferrotorch-xpuIntel XPU (Arc / Data Center GPU Max) backend for ferrotorch via CubeCL wgpu327MIT OR Apache-2.0
toraniko-modelFactor return estimation for the toraniko factor model327MIT
xalen-ayanamsa40+ ayanamsa (sidereal precession) systems for XALEN Ephemeris327Apache-2.0
xalen-houses18+ astrological house systems with polar region handling for XALEN Ephemeris326Apache-2.0
oxicuda-primitivesOxiCUDA Primitives - CUB-equivalent parallel GPU primitives (radix sort, scan, reduce, select, histogram)326Apache-2.0
toraniko-utilsData utilities for the toraniko factor model324MIT
procrustesOrthogonal Procrustes and signed-permutation alignment via faer324MIT OR Apache-2.0
astrodyn_mathQuaternion, Euler, geodetic, orbital-element, and LVLH math kernels for the astrodyn orbital-dynamics pipeline323MIT OR Apache-2.0
ppvssAn implmentation of Pre-constructed Publicly Verifiable Secret Sharing323Apache-2.0
rbp-clusteringHierarchical k-means clustering with Earth Mover's Distance for poker hand abstraction322MIT
inferustStatistical modeling for Rust - OLS/WLS regression, GLM, survival analysis, ARIMA/VAR, nonparametric tests, and more. A…322MIT
tenflowers-ffiPython bindings for TenfloweRS321MIT OR Apache-2.0
ferrotorch-llamaLlama 3 / Meta LLaMA model composition and weight loading for ferrotorch320MIT OR Apache-2.0
simd_vectorSIMD vector types (Vec4, Vec8) for x86-64 in pure stable Rust — SSE4.1, AVX2, FMA3320MIT
coppConvex-objective path parameterization for robotic trajectory planning.320MIT
sheafHierarchical structure, community detection, reconciliation, and conformal prediction320MIT OR Apache-2.0
cubek-interpolateCubeK: Interpolation320MIT OR Apache-2.0
ryft-xla-sysRyft bindings for XLA.319MIT OR Apache-2.0
rustorch-coreCore tensor library for RusTorch319MIT OR Apache-2.0
rangebar-hurstHurst Exponent estimator functions for range bar financial analysis319MIT
financial-calcFinancial calculation functions built on precision-core317MIT OR Apache-2.0
scirs2-wasmWebAssembly (WASM) bindings for SciRS2 - JavaScript/TypeScript interop for scientific computing316Apache-2.0
tui-mathRender LaTeX math beautifully in terminal UIs with ratatui316MIT
xalen-starsFixed star catalog with precession-corrected positions for XALEN Ephemeris316Apache-2.0
connectionsGalois connections as first-class values: lawful numeric casts, Q-format / IEEE / time ladders314MIT
propagators-chirhoA Rust implementation of propagator networks for constraint propagation and bidirectional computation313MIT
decimal_scaled_macrosCompile-time decimal literal proc-macros for the decimal-scaled crate — one per width tier (`d18!`, `d38!`, `d57!`, `d76!`,…313MIT OR Apache-2.0
approx_collections_deriveDerive macros for approx_collections313MIT OR Apache-2.0
oxicuda-levelzeroOxiCUDA Level Zero — GPU compute via Intel oneAPI/Level Zero (pure Rust, libloading)312Apache-2.0
rankitLearning-to-rank losses and evaluation311MIT OR Apache-2.0
u-nesting-cuttingCutting path optimization for U-Nesting spatial optimization engine310MIT
hexalAxial hex coordinates for no_std and embedded targets308MIT OR Apache-2.0
oxicuda-rocmOxiCUDA ROCm — GPU compute via AMD HIP runtime (pure Rust, libloading)308Apache-2.0
oxicuda-webgpuOxiCUDA WebGPU - Cross-platform GPU compute via wgpu and WGSL307Apache-2.0
waterpump-solana-amm-mathProtocol-agnostic AMM math for Solana DEX — tick pricing, bin pricing, liquidity math, swap simulation307MIT OR Apache-2.0
oxiemlEML operator: all elementary functions from exp(x) - ln(y)306Apache-2.0
num-absurdA mathematical framework extending traditional field theory to allow division by zero in an algebraically consistent manner305MIT
minuit2Pure Rust implementation of Minuit-style parameter optimization305LGPL-2.1-or-later
oxiz-optOptimization engine for OxiZ (MaxSMT, OMT)305Apache-2.0
exg-sourceEEG source localization (MNE / dSPM / sLORETA / eLORETA) — pure Rust303GPL-3.0-only
dd_algorithms_libA library for decentralized decision making, fair division algorithms, and governance mathematics303MIT
decentralized_governance_libA library for decentralized decision making, fair division algorithms, and governance mathematics302MIT