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.
gananayantra-rustingA professional-grade, multi-industry calculation library for Rust (Finance, Health, Energy, Geo, Space, Physics, Climate,…701MIT
mathengine-parserRobust parser for mathematical expressions with unit support using Pratt parsing700MIT OR Apache-2.0
rstm-rulesthis crate implements the core modules of the rstm sdk699Apache-2.0
math-solversHigh-performance linear solvers for BEM and FEM687GPL-3.0-or-later
tl_runtimeRuntime library for TL differentiable programming language686MIT
scivex-coreScivex — Tensors, linear algebra, FFT, and math primitives685MIT
capability-grower-configuration-reconciliationA Rust library for comparing and reconciling grower skill tree configurations, capturing configuration changes exceeding…684GPL-3.0-only
capability-skeleton-validationA Rust crate for validating the structural integrity between the GrowerTreeConfiguration and its corresponding Skeleton. It…684GPL-3.0-only
finmoneyPrecise money library for Rust — currency-aware arithmetic, exchange-grade tick handling, configurable rounding. Built for…683MIT OR Apache-2.0
attractA small library for visualsing dynamical systems, particularly strange attractors.682MIT
character-traits-transformative-abilitiesA Rust crate providing a conceptual framework for defining and analyzing transformative abilities using complex attributes and…682MIT
reve-rsREVE EEG Foundation Model — inference in Rust (RLX)681Apache-2.0
wagyu-rsGeometry boolean operations (union, intersection, difference, xor) - Rust port of Mapbox wagyu679BSL-1.0
rk-primesPrime number generator679MIT OR Apache-2.0
character-traits-warrior-capabilityA Rust crate for modeling and simulating a broad spectrum of warrior capabilities, aimed at enhancing intricate game mechanics…679MIT
billingGeneric tariff billing engine. Metered usage, tiered / volume / block / capacity pricing, time-of-use bands, composable tax and…679MIT OR Apache-2.0
scir-coreSciR core utilities: numeric tolerances, complex helpers, and shared test macros for the SciR ecosystem (SciPy rebuilt for Rust).677MIT
geospecA geometry specification library for ECS-style simulations. Provides shape definitions (sphere, box, cylinder, etc.), dimension…675MIT
logicaffeine-clilargo — the LOGOS build tool: new/init/build/run/check/verify/publish for logicaffeine projects675BUSL-1.1
kalmanA Rust implementation of the Kalman filter674MIT
sklears-kernel-approximationKernel approximation methods673Apache-2.0
pounce-nlpNLP-side glue for POUNCE (port of Ipopt's src/Interfaces): TNLP trait, TNLPAdapter, NLP / IpoptNLP wrappers, return-code enums,…671EPL-2.0
formally-supportthe open-source formal methods toolchain - basic support functionality671non-standard
quantrs2-symengine-purePure Rust symbolic mathematics for quantum computing - a replacement for C++-based symengine671Apache-2.0
sklears-ensembleEnsemble methods for sklears: Random Forest, Gradient Boosting, AdaBoost667Apache-2.0
sleeplmSleepLM Sleep-Language Foundation Model — inference in Rust with Burn ML665MIT
vedaksha-ephem-coreAstronomy/ephemeris engine: JPL DE440s/DE441 SPK reader, VSOP87A, ELP/MPP02, precession, nutation665BUSL-1.1
subsphere-renderRendering tool for the subsphere crate664MIT OR Apache-2.0
binpacksolve binpacking problems using Linear Programming664MIT OR Apache-2.0
scir-fftSciR FFT: parity-first FFT/RFFT/IRFFT plus reusable 2D vision spectral kernels.664MIT
character-traits-complexity-and-internal-conflictA Rust library for analyzing and modeling character complexity and internal conflicts through various conflict axes.663MIT
character-traits-adaptability-and-resourcefulnessConcrete behavioral descriptors illustrating adaptability and resourcefulness based on historic and mythic profiles.662MIT
osf-rsOSF Sleep Foundation Model — inference in Rust with Burn ML662MIT
sleepfmSleepFM Foundation Model — inference in Rust with Burn ML662GPL-3.0-only
exo-manifoldContinuous embedding space with SIREN networks for smooth manifold deformation in cognitive AI661MIT OR Apache-2.0
character-traits-emotional-dispositionRust crate for analyzing and synthesizing emotional traits, systematically distinguishing core emotional qualities and nuanced…661MIT
xcxExchange–correlation functionals for DFT in pure Rust — autodiff derivatives (vxc/fxc), double hybrids, libxc-interoperable ids661(MIT OR Apache-2.0) AND MPL-2.0
RustFramesA blazing-fast, memory-safe alternative to NumPy + Pandas, written in Rust660MIT OR Apache-2.0
ferromotion-controlControl schemes for physical AI, in Rust — PID, computed-torque, Cartesian impedance, and more. WASM-clean.659MIT OR Apache-2.0
sklears-datasetsDataset utilities and generation for sklears658Apache-2.0
bayes-rsA Rust library for Bayesian inference with MCMC samplers657MIT
convex-bondsBond pricing and analytics for the Convex fixed income analytics library655MIT
apex-manifoldsLie group manifolds (SE2, SE3, SO2, SO3, Rn) with analytic Jacobians for optimization655Apache-2.0
numrs-coreA high-performance numerical computing library with multi-backend dispatch (SIMD, BLAS/MKL, WebGPU) and zero-cost abstractions655AGPL-3.0-only
arael-symSymbolic math library: expression trees, automatic differentiation, simplification, CSE, code generation654MIT
sciencecalc-rsA calculation toolkit or Library for mathematics, physics, and chemistry in Rust | Library rust Matematika, Fisika, Kimia -…652MIT
character-traits-relationship-with-fate-and-mortalityA comprehensive framework for modeling character traits and their relationship with divine gifts, symbolic meanings, fate, and…650MIT
use-pointSmall validated 2D point primitives for RustUse646MIT OR Apache-2.0
pindakaas-derivederive macros for the pindakaas crate to connect to SAT solvers644MPL-2.0
axonml-onnxONNX import/export support for the Axonml ML framework643MIT OR Apache-2.0
scir-gpuSciR GPU foundations: device arrays and CUDA (feature-gated) elementwise/FIR kernels with CPU parity.643MIT
sklears-decompositionMatrix decomposition algorithms for sklears: PCA, ICA, NMF, SVD643Apache-2.0
pounce-linsolSymmetric linear-solver trait layer for POUNCE (port of Ipopt's…642EPL-2.0
character-traits-spiritual-and-metaphysical-natureA Rust crate for characterizing entities with spiritual and metaphysical traits through comprehensive descriptors, core spiritual…642MIT
cobreOpen infrastructure for power system computation — umbrella crate641Apache-2.0
u-geometryDomain-agnostic computational geometry: primitives, polygons, NFP, collision detection, spatial indexing.639MIT
polygon_unionfindDisjoint-set data structure (union-find) for polygons.638MIT OR Apache-2.0
nabled-mlML-oriented algorithms built on ndarray-native nabled primitives635MIT OR Apache-2.0
hyperrealExact rational and computable real arithmetic in Rust635Apache-2.0
sklears-naive-bayesNaive Bayes classifiers for sklears - scikit-learn compatible ML in Rust635Apache-2.0
qudit-coreAccelerated and Extensible Quantum Library632BSD-3-Clause
symbios-groundAn algorithmic terrain engine.630MIT
logicaffeine-lspLanguage Server Protocol implementation for LOGOS (the logicaffeine language)629BUSL-1.1
g_mathMulti-domain fixed-point arithmetic with geometric extension: Lie groups, manifolds, ODE solvers, tensors, fiber bundles — pure…629MIT OR Apache-2.0
rusticgReverses possible internal seeds of an LCG using a system of inequalities on the output of random calls626Apache-2.0
sklears-neuralNeural network implementations for the sklears machine learning library626Apache-2.0
fugaziA library of incremental technical-analysis indicators, signals and strategies626MIT
math-xem-commonCommon types and utilities for BEM/FEM room acoustics simulators625GPL-3.0-or-later
xyz2stlConvert a point cloud (.ply) file into a STL mesh623MIT
mathtoolsA simple and fast 2D/3D/4D math library for graphics and games.621MIT OR Apache-2.0
rbp-transportOptimal transport and Earth Mover's Distance via Sinkhorn algorithm620MIT
signature-rsHigh-performance log signature computation for paths and time series data619AGPL-3.0-only
stochastic-rs-stochasticStochastic process simulation.618MIT
rstm-programsThis crate focuses on providing various structures and utilities for programs within rstm617Apache-2.0
signal-filtersFilters library, including biquad, moving average, low-pass, and notch filters.616MIT OR Apache-2.0
ferromotion-policyOn-device runner for exported learned policies (RL/VLA MLPs) — inference only, WASM-clean. Interop tier: run trained weights,…615MIT OR Apache-2.0
oxicuda-fftOxiCUDA FFT - GPU-accelerated FFT operations (cuFFT equivalent)613Apache-2.0
fixpFixed-point numbers612Zlib OR MIT OR Apache-2.0
kingmakerA modular, performant, social choice framework for the simulation, computation, and analysis of strategic voting.612Apache-2.0 OR MIT
sklears-preprocessingData preprocessing for sklears: scaling, encoding, imputation, transformations610Apache-2.0
ferromotion-ruckigJerk-limited, time-optimal trajectory generation in Rust — a port of Ruckig's MIT Community S-curve. WASM-clean, no deps.609MIT OR Apache-2.0
polydfDistance queries for parametric curves in 2D and 3D (nearest point, unsigned distance, early-out with speed bounds).609MIT
bolaA lightweight native rust linear algebra library.608MIT
rkhsKernel methods606MIT OR Apache-2.0
rsdiff-derivederive macros for rsdiff606Apache-2.0
axis2dGeneric 2D geometric primitives like vectors, rectangles, axes, directions, and edges.604MIT
genomic_pcaA CLI tool for performing PCA on genomic data from VCF files.602MIT
const-modulo-ringZ/mZ for const modulo m602AGPL-3.0-or-later
cartan-remeshAdaptive remeshing primitives for triangle meshes on Riemannian manifolds602MIT
rsdiff-macrosthe crate implements custom macros for rsdiff600Apache-2.0
vecmateLightweight, zero-dependency, type-agnostic library for vector math.600BSD-3-Clause
symb_anafisFast symbolic differentiation library for Rust598Apache-2.0
rstmt-traitsVarious traits used to establish the foundation of the rstmt framework596Apache-2.0
litex-langThe Language Where Mathematics Verifies Itself596Apache-2.0
tenflowersPure Rust implementation of TensorFlow - A comprehensive deep learning framework595Apache-2.0
elenchus-compilerCompiles parsed elenchus DSL into a canonical Impossible/CNF clause IR: import resolution, desugaring, atom interning,…594MIT
avila-vec3d3D math library - vectors, matrices, quaternions, AABB, ray casting - 100% Rust593MIT OR Apache-2.0
min_infmachineThe Minimalistic Infinite Machine with random access memory.591Apache-2.0
ade-strongly-connected-componentsAlgorithms for finding strongly connected components (SCCs) in directed graphs.589MIT OR Apache-2.0
rstm-traitsThis crate focuses on building concrete implementations for Turing Machines.589Apache-2.0
latin-samplerAn MCMC sampler for generating approximately uniform random Latin squares using the Jacobson-Matthews algorithm589MIT
tritter-accelRust acceleration for Tritter - BitNet, ternary ops, VSA optimization585MIT
u-nesting-d33D bin packing algorithms for U-Nesting spatial optimization engine583MIT
ferrotorch-distributedDistributed training for ferrotorch — backends, collectives, and DDP581MIT OR Apache-2.0
brik64-coreBRIK64 Rust SDK beta with monomer helpers and composition utilities for examples, tests, and application prototypes.581Apache-2.0
amari-functionalFunctional analysis on multivector spaces - Hilbert spaces, linear operators, and spectral theory580MIT OR Apache-2.0
math-waveAnalytical solutions for wave and Helmholtz equations579GPL-3.0-or-later
ferrotorchPyTorch in Rust — deep learning framework built on ferray573MIT OR Apache-2.0
cartan-optimRiemannian optimization algorithms for cartan: Riemannian gradient descent, conjugate gradient, trust region573MIT
sci-find-peaksA Rust port of SciPy's find_peaks function, designed to match SciPy's behavior exactly.570MIT
amari-cgtComputational combinatorial game theory for the Amari library570MIT OR Apache-2.0
pmathA general-purpose mathematics crate for Rust566MIT
boostrML framework built on numr - attention, quantization, model architectures565Apache-2.0
dynamic_expressionsFast batched evaluation + forward-mode derivatives for symbolic expressions (Rust port of DynamicExpressions.jl).564Apache-2.0
amosaicThis library provides tools for generating and working with aperiodic tilings and mosaics, based on the hat monotile discovered…564CC-BY-NC-4.0
fractionsA simple, lightweight crate for fraction arithmetic563MIT OR Apache-2.0
numra-linalgLinear algebra abstractions for Numra: dense and sparse matrices, LU/QR/Cholesky/SVD, iterative solvers (CG, GMRES, BiCGSTAB).562LicenseRef-Numra-Academic-Research-NonCommercial
sklears-svmSupport Vector Machines for sklears: SVC, SVR with various kernels562Apache-2.0
sophyA lightweight, efficient mathematical library for numerical methods, functions, and utilities in pure Rust560MIT OR Apache-2.0
sklears-mixtureGaussian mixture models559Apache-2.0
sklears-manifoldManifold learning algorithms (t-SNE, Isomap, etc.)558Apache-2.0
eight_moduleUma biblioteca para operações matemáticas simples. Ideal para quem busca facilidade e eficiência em cálculos básicos.555MIT
flexfloatA Rust library for arbitrary-precision floating-point arithmetic with growable exponents and fixed-size fractions, extending IEEE…555MIT
mathengine-evaluatorType-safe evaluation engine for mathematical expressions with comprehensive unit conversion554MIT OR Apache-2.0
sklears-calibrationProbability calibration for classifiers553Apache-2.0
sklears-composeComposite estimators and transformers553Apache-2.0
sklears-imputeMissing value imputation strategies553Apache-2.0
ra-solana-mathHigh-performance fixed-point arithmetic library optimized for Solana anchorlang programs551MIT
fracintsSpecial case fractional-only fixed point numbers551MIT OR Apache-2.0
sklears-multiclassMulticlass classification strategies551Apache-2.0
hyperprecf128, f256, f512 in Rust — software-emulated extended precision via double-double and multi-limb arithmetic for ill-conditioned…550MIT
sklears-feature-selectionFeature selection algorithms for sklears - scikit-learn compatible ML in Rust548Apache-2.0
wave-fileFiles are not for humans, but for waves - read any file as a phase matrix at different angles547MIT
use-coordinateCoordinate primitives for the RustUse geometry workspace547MIT OR Apache-2.0
sklears-inspectionModel inspection and interpretation tools547Apache-2.0
fynchDifferentiable sorting and ranking547MIT OR Apache-2.0
sklears-feature-extractionFeature extraction from raw data (text, images)547Apache-2.0
sklears-covarianceCovariance estimation algorithms546Apache-2.0
sklears-isotonicIsotonic regression546Apache-2.0
sklears-multioutputMulti-output regression and classification545Apache-2.0
odds_converterA fast, accurate Rust library for converting between American, Decimal, and Fractional betting odds formats544MIT
sklears-semi-supervisedSemi-supervised learning algorithms544Apache-2.0
sklears-cross-decompositionCross decomposition algorithms (PLS, CCA)544Apache-2.0
vheElGamal homomorphic encryption library with verifiable operations543MIT OR Apache-2.0
infmachine_examplesExamples for the Infinite Machine.543Apache-2.0
sklears-dummyDummy estimators for baseline comparisons540Apache-2.0
sklears-discriminant-analysisLinear and Quadratic Discriminant Analysis540Apache-2.0
steegformerST-EEGFormer EEG Foundation Model — inference in Rust with Burn ML539Apache-2.0
lazy_simdTrait based SIMD acceleration and safe abstraction539MIT
dslcompileHigh-performance symbolic mathematics with final tagless design, egglog optimization, and Rust hot-loading compilation538AGPL-3.0-or-later
quantwave-polarsA high-performance, Polars-native technical analysis library for Rust.536MIT
anomalyx-coreanomalyx contract core: typed record model, anomaly taxonomy, deterministic reductions, and the tq1 output envelope531MIT OR Apache-2.0
tl-langA differentiable programming language with tensor support for machine learning531MIT
amari-topologyTopological tools for geometric structures - homology, persistent homology, Morse theory, and manifold analysis529MIT OR Apache-2.0
elenchus-solverForward-pass inference interpreter for elenchus: 3-valued Kleene evaluation of the Impossible/CNF clause IR into CONFLICT /…528MIT
eindir-coreTyped primitives for ND objective functions and bounded sampling.528MIT
infmachine_execThe Infinite Machine Executor and Debugger.522Apache-2.0
redstone-mlHigh-performance Machine Learning, Auto-Differentiation and Tensor Algebra crate for Rust518MIT OR Apache-2.0
rust-ai-coreUnified AI engineering toolkit: orchestrates peft-rs, qlora-rs, unsloth-rs, axolotl-rs, bitnet-quantize, trit-vsa, vsa-optim-rs,…518MIT
tensorlogic-trainTraining loops, loss composition, and optimization schedules for TensorLogic517Apache-2.0
polyfitBecause you don't need to be able to build a powerdrill to use one safely517MIT
neuro-divergentHigh-performance neural forecasting library providing 100% compatibility with NeuralForecast Python API, built on ruv-FANN…516MIT OR Apache-2.0
amari-surrealComputable surreal numbers for the Amari library516MIT OR Apache-2.0
pounce-feralFERAL pure-Rust sparse symmetric LDL^T backend for POUNCE. Implements pounce-linsol's SparseSymLinearSolverInterface.515EPL-2.0
tensorlogic-sklears-kernelsLogic-derived similarity kernels for SkleaRS integration513Apache-2.0
tensorlogic-trustformersTransformer-as-rules: Self-attention and FFN layers as einsum expressions513Apache-2.0
nabledA linear algebra library written in Rust with an ndarray-first architecture.512MIT OR Apache-2.0
oxicuda-metalOxiCUDA Metal - GPU compute via Apple Metal API (macOS only)510Apache-2.0
symbios-turtle-3dSpatial interpretation layer for Symbios L-Systems using glam.509MIT
openmeshVertex-face mesh validation library507BSD-3-Clause
ferromotion-fluid2D incompressible Navier-Stokes (MAC projection) for fluid–robot interaction. WASM-clean.506MIT OR Apache-2.0
integral-mathShared numerical primitives for the integral crate: Boys function, Rys roots/weights, GTO normalization.505Apache-2.0 OR MIT
pramanapramana — Statistics and probability: distributions, Bayesian inference, hypothesis testing, Monte Carlo, Markov chains505GPL-3.0-only
qudit-exprAccelerated and Extensible Quantum Library504BSD-3-Clause
reputation-coreCore calculation engine for the KnowThat Reputation System with advanced scoring algorithms500MIT OR Apache-2.0
pounce-presolveAlgorithmic NLP preprocessing as a TNLP wrapper for POUNCE: bound tightening, redundant-constraint removal, LICQ degeneracy…500EPL-2.0
ferromotionFerromotion — a Rust library for the kinematics, dynamics, and control of physical AI (native + WebAssembly). Umbrella crate…499MIT OR Apache-2.0
timevalueCompute present and future value of money for single sum and annuity (ordinary and due) using idiomatic Rust.499MIT
araelNonlinear optimization framework with compile-time symbolic differentiation499MIT
sc_neurocore_engineHigh-performance SIMD backend for SC-NeuroCore stochastic neuromorphic computing498AGPL-3.0-or-later
pounce-l1penaltyThierry-Biegler ℓ₁-exact penalty-barrier TNLP wrapper for POUNCE — opt-in NLP reformulation for degenerate / LICQ-violating NLPs…497EPL-2.0
latxLattices, reciprocal lattices, periodic-image enumeration, and k-point meshes for periodic electronic-structure calculations.497MIT OR Apache-2.0
range_bound_cmpComparison operations between primitive `Bound` values496MIT OR Apache-2.0
shrew-coreCore tensor, dtype, shape, layout, backend traits, and autograd for Shrew493Apache-2.0
ferromotion-wasmUniversal WebAssembly bindings for ferromotion — robot IK/kinematics in the browser, zero install.492MIT OR Apache-2.0
fugue-pplMonadic PPL with numerically stable inference and comprehensive diagnostics.492MIT
zenforks-cubecl-stdCubeCL Standard Library.491MIT OR Apache-2.0
pokerbot🚧 A Texas Hold'em Heads up pokerbot game binary and library abstraction (WIP, nothing usable for now).490MIT/Apache-2.0
deep_causality_ethosProgrammable ethics for DeepCausality.490MIT
rbp-mccfrGame-agnostic Monte Carlo Counterfactual Regret Minimization framework489MIT
neuro-divergent-trainingComprehensive training infrastructure for neural forecasting models488MIT OR Apache-2.0
xalen-coordsCoordinate frames, precession, nutation, and frame transforms for XALEN Ephemeris488Apache-2.0 AND BSD-3-Clause
hyperbolic_drawingManipulate and display elements of 2D hyperbolic space (ℍ²)4870BSD
powerio-matrixSparse matrices and graph outputs for power system case files, built on powerio.486MIT OR Apache-2.0
kalman_clusteringClustering vectors using Kalman Filter485Apache-2.0
theveninCore simulation engine for thevenin: sparse matrices, MNA assembly, solvers485BSD-3-Clause
ferrolearn-numericalNumerical foundations for the ferrolearn ML framework: sparse eigensolvers, graph algorithms, distributions, optimization,…484MIT OR Apache-2.0
formicaHigh-performance Rust clustering library for financial data analysis483Apache-2.0
numra-nonlinearNonlinear solvers for Numra: Newton-Raphson with line search, analytical or finite-difference Jacobians.483LicenseRef-Numra-Academic-Research-NonCommercial
ferromotion-mpmDifferentiable 2D Material Point Method (MLS-MPM) for soft/elastic/granular material. WASM-clean.482MIT OR Apache-2.0