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.
plato-midi-bridgeStyle decomposition for MIDI — Eisenstein lattices, Penrose tilings, and multi-scale musical analysis19AGPL-3.0
sigmoid-q15Fonction d'activation Sigmoid en virgule fixe Q15 pour systèmes embarqués `no_std`, zéro dépendance système19GPL-2.0-or-later
math_lib_rust_alfaA simple Rust math library with basic arithmetic operations19MIT OR Apache-2.0
brainiacBrainIAC — Brain MRI foundation model inference in Rust with Burn ML19Apache-2.0
prime-wasmWASM bindings for the prime math library19MIT
candela-tensorA lazy, graph-based tensor engine in Rust19MIT OR Apache-2.0
trios-sacredSacred geometry operations including φ-attention and Beal conjecture search19MIT OR Apache-2.0
ry-scienceMath, stats, and geometry for Ry-Dit — Bezier curves, statistics, optical illusions19MIT
colimitComputational applied category theory in Rust: finite sets, colimits, and (co)presheaves.19MIT OR Apache-2.0
ibig-coreCore big-integer algorithms.19MIT OR Apache-2.0
spreadsheet-formulasFormula engine for the SuperInstance Spreadsheet — parsing and evaluating formulas like =EVOLVE(A1:A10, 100)19MIT
lobatto-spectralHigh-order screened Poisson solvers on Gauss-Lobatto grids.19LGPL-3.0-only
tpt-eidos-parserLexer, AST, and recursive-descent parser for the tpt-eidos language19Apache-2.0 OR MIT
hyperphysicsHyperreal-backed physical simulation primitives19Apache-2.0
cfuelToolkit for RSA avalanche analysis, candidate scoring, and search.19EPL-2.0
hyperpathExact-aware path predicates and route constraints for the Hyper ecosystem19Apache-2.0
bitpermBit permutations and bit-packed polycube/grid structures in Rust19GPL-3.0-or-later
snapkitZero-dependency Eisenstein snap, spectral analysis, temporal grids, and connectome detection — no_std compatible19MIT OR Apache-2.0
lau-sheaf-spectrumSpectral sheaf theory: sheaf Laplacians, Hodge decomposition, sheaf diffusion, connection Laplacians, sheaf neural networks,…19MIT
lau-singular-spdeSingular stochastic PDE formulation of agent learning dynamics with Hairer's regularity structures and renormalization19MIT
retrocalcA retro Windows 3.1-styled calculator for your desktop19MIT
ternary-graphGraph algorithms on ternary-weighted edges including shortest paths, community detection, and spectral clustering19MIT
lau-grand-unificationThe Grand Unification crate — all 14 executable theorems project from one spectral triple (A, H, D)19MIT
lattice-crypto-rsLattice-based cryptography primitives: LWE encryption/decryption, Ring-LWE structures, Gaussian sampling, and lattice basis…19MIT OR Apache-2.0
lau-probability-agentsProbability theory foundations for agents — rigorous measure-theoretic framework19MIT
ternary-dockyardMaintenance and repair of ternary agents — dry dock, diagnostics, refitting, and salvage19MIT
phop-wasmWebAssembly bindings for phop: in-browser differentiable symbolic discovery19Apache-2.0
fizixCompile-time checked SI units via typenum type-level integers19MIT OR Apache-2.0
gold-melt-valueCompute precious-metal melt value by karat, weight, and live spot price (gold, silver).19MIT
amortization-scheduleLoan amortization: monthly payment, per-period breakdown, total interest, remaining balance.19MIT
yatrosci-integrateNumerical integration for SciRS - quadrature, ODE solvers18AGPL-3.0-or-later
slatec-srcImplementation-provider selection and native linking for slatec-rs18MIT OR Apache-2.0
rustmatrixRust-backed T-matrix scattering for nonspherical particles (port of pytmatrix)18MIT
slatec-coreProvider-neutral no_std types and validation contracts shared by slatec-rs18MIT OR Apache-2.0
tpt-zero-fast-mathApproximate sqrt/inv-sqrt and trig via lookup tables. #![no_std], zero dependencies. ~1e-4 error bound.18MIT OR Apache-2.0
arrow-ml-backend-metalMetal GPU backend plugin for arrow-ml. Discovered at runtime by arrow-ml-common's backend registry.18Apache-2.0
ifc-qto-geometry-catGeometry-adjusted quantity takeoffs from IFC models, built on comp-cat-rs18MIT OR Apache-2.0
ct-simdSIMD-parallel batch snap on the Pythagorean manifold — Rayon + AVX2, 8x throughput18MIT
ct-sternbrocotStern-Brocot optimal rational approximation for Pythagorean snap — O(log N) time, O(log N) memory18MIT
constraint-theoryConstraint theory umbrella — unified API for snap, holonomy, manifold operations18MIT
cosine-fastHot-loop cosine similarity for f32 slices. Auto-vectorized scalar core, optional precompute-norms helper. Zero deps.18MIT OR Apache-2.0
ledge-coreFactor-structured convex QP kernel for portfolio optimization18Apache-2.0
ct-fareyFarey sequence — optimal rational enumeration for Pythagorean snap quality bounds18MIT
ct-holonomyHolonomy measurement on the Pythagorean manifold — angular deficit, Berry phase analogy18MIT
ct-learnedLearned index structures for O(1) Pythagorean snap — CDF prediction with linear correction18MIT
ct-proofsFormal verification proofs for constraint theory — exhaustive testing and property checking18MIT
claspRank fusion and reranking: RRF, ISR, CombMNZ, Borda, DBSF, MaxSim (ColBERT), MMR, DPP, Matryoshka.18MIT OR Apache-2.0
black-76Black-76 closed-form pricing, Greeks, and implied volatility solver for futures and forward options.18MIT OR Apache-2.0
relu-q15ReLU en virgule fixe Q15 pour systèmes embarqués `no_std`, zéro dépendance18GPL-2.0-or-later
topo-sonataMusical compositions as simplicial complexes — persistent homology detects harmonic holes, genre classification via Betti numbers18MIT
yatrosci-optimizeOptimization algorithms for SciRS - minimize, roots, curve fitting18AGPL-3.0-or-later
toy-voA very simple stereo visual odometry library18GPL-2.0-or-later
ft_winogradWinograd Fourier Transform: arbitrary-length DFT in Rust, extending fft_rs with WFTA, Rader, Bluestein, and PFA algorithms18MIT
noether-bridgeFormal bridge from symplectic-fleet Noether pairs to conservation-law γ + H = C meta-law18MIT
rate-distortionRate-distortion theory: R(D) function calculation, distortion measures, Blahut-Arimoto algorithm, and Lloyd-Max quantizer design18MIT
neco-bigintarbitrary-precision integers, rationals, and dyadic intervals for exact arithmetic18MIT
symplectic-geometrySymplectic geometry, Hamiltonian systems, and symplectic integrators — pure Rust, zero dependencies18MIT
spectral-estSpectral estimation: periodogram, Welch, autoregressive (Yule-Walker), Bartlett methods18MIT OR Apache-2.0
modem-coreDigital modulation: ASK, FSK, PSK, QAM with constellation diagrams and BER analysis18MIT OR Apache-2.0
farkas-coreExact tiered-rational Farkas-certificate engines for Lean's linarith18Apache-2.0
spline1dFast local one-dimensional cubic interpolation with full splines, interval-local interpolation primitives, and inverse lookup.18MIT OR Apache-2.0
cliff64High-performance, no_std, integer-only Geometric Algebra (2D-6D) via procedural macros.18AGPL-3.0-only
kinemaxHigh-performance coordinate and kinematics engine for bounded spatial tracking data.18MIT
flux-algebraAlgebraic structures for music theory: HarmonicRing, PLR group, Tropical semiring, TuningField18MIT
honeyeater-coreCore sample types, signal traits, and tolerance vocabulary for the honeyeater DSP library.18MIT OR Apache-2.0
numerics-interpResearch-grade interpolation methods: linear, Lagrange polynomial, cubic natural spline, barycentric — pure Rust, no dependencies18MIT OR Apache-2.0
ternary-coordinationFormal {-1, 0, +1} coordination algebra with ternary matrices, consensus, and provable convergence18MIT
topo-mergeTopological merging of agent belief states — persistent homology for multi-agent consensus18MIT
yatrosci-interpolateInterpolation for SciRS - interp1d, splines, multivariate18AGPL-3.0-or-later
xcelerator-solverDeterministic, precision-configurable symbolic regression engine18non-standard
volterra-braidBraid-group analysis of active-nematic defect trajectories: detection, tracking, braid-word extraction, and topological entropy.18MIT
lightning-distanceEstimate how far away lightning is from the flash-to-thunder delay, plus the 30-second safety rule.18MIT
scir-optimizeSciR Optimize: Nelder–Mead, BFGS, and L-BFGS with fixture-driven validation on Rosenbrock/Himmelblau.18MIT
obbba-breaksEstimate OBBBA individual tax breaks: the increased standard deduction and the overtime/tips above-the-line deductions…18MIT
holonomy-boundedBounded Drift Theorem implementation for Eisenstein lattice snap operations17Apache-2.0
robust-rsRobust statistics for Rust: M/S/MM regression and robust scale, built on the M-estimator abstraction.17MIT OR Apache-2.0
routik-solverCore VRP solver (CVRPTW): data model, cost-matrix trait, Clarke-Wright construction, local search, and simulated annealing.17Apache-2.0
stark-catSTARK proof system (AIR + FRI low-degree test) built on proof-cat-core and field-cat17MIT OR Apache-2.0
pythagorean-snapO(log n) nearest-neighbor search on the Pythagorean manifold — full-circle, zero-drift, 316x faster than brute force17MIT
epoch_rngSimple epoch‑based PRNG and configurable LCG PRNG.17MIT
exath-engineComplex-native expression evaluator engine powering Exath calculator17MIT OR Apache-2.0
hybridrootsFour novel multi-phase hybrid bracketing algorithms (Opt.BF, Opt.BFMS, Opt.TF, Opt.TFMS) for numerical root finding with superior…17MIT
brainharmonyBrain-Harmony multimodal brain foundation model — inference in Rust with Burn ML17MIT
simsamSample from custom discrete and continuous distributions (SciPy-like API)17BSD-3-Clause
hodge-belief-rsHodge decomposition of belief systems — applying Hodge theory to analyze belief flow, conflict, and stability in multi-agent…17MIT
decimal-scaled-goldenLibrary-agnostic golden value set, validator, and comparison harness for decimal libraries17MIT OR Apache-2.0
generalized-mapA Rust implementation of generalized maps (n-dimensional combinatorial topology) for representing meshes, graphs, and complex…17MIT
yatrosci-fftFast Fourier Transform for SciRS - FFT, IFFT, real FFT17AGPL-3.0-or-later
luna-modelName placeholder for LunaModel — a symbolic modeling library for optimization. Use the Python package `luna-model` for now.17Apache-2.0
symplectic-fleetFleet state modeled as a symplectic manifold with Hamiltonian evolution, Noether conservation laws, and structure-preserving…17MIT
lau-dynamical-algebraThe algebra of dynamical systems — operator algebras from evolution17MIT
lau-dg-algebraDifferential graded algebras for agents — the algebraic structure underlying cohomology17MIT
conservation-spectral-coreSpectral analysis of tension graphs for anomaly detection, fingerprinting, and structural health17MIT
renormalization-groupRenormalization group framework for multi-scale fleet analysis17MIT
neco-monomialprime-exponent monomials for exact rational radicals17MIT
fir-filterFinite impulse response filter design: windowed sinc, Hamming/Hann/Blackman windows, lowpass/highpass/bandpass17MIT OR Apache-2.0
conservation-regimeConservation ratio regime detection, anomaly analysis, and spectral forecasting for time-varying graphs — pure Rust17MIT
markovTrans-rsFirst-order Markov chain library with KL-divergence sliding-window comparison17MIT
spreadsheet-plr-bridgeBridge between spreadsheet-engine cells and groovemesh-plr voice leading — the spreadsheet moment for AI music17MIT
flux-fractureDisjoint linear algebra for constraint systems — fracture into independent blocks, coalesce provably correct17MIT
oxis-greeksOption Greeks for OXIS, a validated quantitative finance library in Rust. Name reserved; under active development.17MIT OR Apache-2.0
oxis-cliCommand-line interface and REPL for OXIS, a validated quantitative finance library in Rust. Name reserved; under active…17MIT OR Apache-2.0
subdiv-kernelsStandalone subdivision kernel crate for Rust and wasm32 workflows17MIT OR Apache-2.0 OR Zlib OR BSD-3-Clause
delaunay-triang-rsDelaunay triangulation and Voronoi diagrams in pure Rust: Bowyer-Watson, edge flip, quad-edge17MIT OR Apache-2.0
oxide-conservationConservation law verification for GPU computations — energy, mass, and information conservation across kernel boundaries17MIT
numerics-odeResearch-grade ODE solvers: Euler, RK4, Adams-Bashforth (2-step), Dormand-Prince (RK45 adaptive) — pure Rust, no dependencies17MIT OR Apache-2.0
line-sweep-rsComputational geometry via line sweep: segment intersection, closest pair, rectangle intersection17MIT OR Apache-2.0
ferment-constraintsConstraint satisfaction as fermentation — sourdough starters and server fleets solve the same class of problem17MIT
markov-chain-rsMarkov chains: discrete-time, transition matrices, stationary distributions, absorbing chains, HMM in pure Rust17MIT OR Apache-2.0
decision-tree-rsDecision tree implementation: ID3 algorithm, information gain, Gini impurity, pruning, and prediction17MIT OR Apache-2.0
oxis-coreStable core types and numerics for OXIS, a validated quantitative finance library in Rust. Name reserved; under active…17MIT OR Apache-2.0
tpt-eidos-verifierTransparent QF_LRA decision procedure (Fourier-Motzkin) for tpt-eidos17Apache-2.0 OR MIT
yatrosci-ioScientific file I/O for SciRS (scipy.io equivalent)17AGPL-3.0-or-later
recipe-ratioBaker's percentages, dough hydration, and recipe scaling by flour weight.17MIT
obbba-overtimeEstimate the OBBBA above-the-line deduction for qualified overtime compensation, including the MAGI phase-out (2025-2028).17MIT
sheafsyncMotor de consistencia sin coordinación vía cohomología de haces celulares16MIT
arrow-mlOptimized tensor operations and machine learning primitives for Apache Arrow.16Apache-2.0
mdarray-linalg-nalgebraNalgebra backend for mdarray-linalg16MIT AND Apache-2.0
mdarray-linalg-tblisTBLIS backend for mdarray-linalg16MIT AND Apache-2.0
sheaf-agentsCellular sheaf framework for multi-agent coordination via sheaf cohomology16MIT
hodge-beliefHodge decomposition for belief states with interpretability16MIT
graphletGraphlet analysis for petgraph: subgraph census, graphlet-degree vectors (GDV/GDD), and network-motif detection.16MIT
intuition-curvesOff-chain Rust parity library for Intuition bonding curves16MIT
optimizrHigh-performance optimization algorithms in Rust with Python bindings16MIT
sliced-wassersteinSliced-Wasserstein (SW₁) distance over discrete distributions, with optional vector-index Metric impl.16Apache-2.0 OR MIT
gauss-jacobi-quadRust bindings for GaussJacobiQuad (Fortran Gauss–Jacobi quadrature via C ABI)16MIT
conservation-matrixConservation laws in ternary agent systems — avoidance ratio, fitness convergence, ecological resilience16MIT
neco-formsumexact rational linear combinations of radical monomials16MIT
extensive-formExtensive-form games with game trees, subgame perfect equilibrium, backward induction, and information sets16MIT OR Apache-2.0
ogdoadClifford algebras (with nilpotents) over the field-like subclasses of combinatorial games: nimbers, surreals, surcomplex.16AGPL-3.0-or-later
wt-spfSimple smooth pipe friction utilities with C ABI exports for C/C++/Python/MATLAB integration16MIT
oxis-pricingOption pricing models (Black-Scholes, binomial, Monte Carlo) for OXIS, a validated quantitative finance library in Rust. Name…16MIT OR Apache-2.0
autodifferentiateA program for getting the derivative of a function at an exact coordinate using dual numbers16MIT
conservation-protocolAgent communication via Laplacian gossip — the network topology IS the message16MIT
hmmlearn-rsHidden Markov Models with categorical, Gaussian, GMM, Poisson, and multinomial emissions, trained by Expectation–Maximization or…16BSD-3-Clause
rvmathA comprehensive, lightweight, and type-safe mathematics library for Rust16MIT OR Apache-2.0
anomalyzer-tsProbabilistic anomaly detection for time-series data16Apache-2.0
tpt-eidos-kernelTrusted refinement-subtyping typechecker for tpt-eidos (MVK)16Apache-2.0 OR MIT
tpt-eidos-erasureProof-term erasure for tpt-eidos: strip refinement witnesses from a kernel-checked module, producing a computational-core IR16Apache-2.0 OR MIT
sat-score-projectionEstimate a digital-SAT total scaled score (400-1600) from raw correct answers, using a transparent linear model.16MIT
exact-polyInteger polygon geometry library — exact arithmetic, no float errors15MIT
slatecSafe Rust interface to selected SLATEC numerical routines15MIT OR Apache-2.0
graham-valueBenjamin Graham value-investing formulas: the Graham Number, net current asset value (NCAV / net-net), and margin of safety.15MIT OR Apache-2.0
ferrum-maMasked arrays with mask propagation for ferrum15MIT OR Apache-2.0
ferrum-numpy-interopPython/NumPy interop via PyO3 and Arrow/Polars for ferrum15MIT OR Apache-2.0
ferrum-polynomialPolynomial operations (evaluation, fitting, roots, arithmetic) for ferrum15MIT OR Apache-2.0
ferrum-stringsString operations on character arrays for ferrum15MIT OR Apache-2.0
ferrum-windowWindow functions, vectorize, piecewise, and apply_along_axis for ferrum15MIT OR Apache-2.0
ferrum-randomRandom number generation and distributions for ferrum15MIT OR Apache-2.0
ferrum-stride-tricksStride manipulation (as_strided, sliding_window_view) for ferrum15MIT OR Apache-2.0
ferrum-autodiffForward-mode automatic differentiation for ferrum15MIT OR Apache-2.0
pythagorean-treemapTreemap visualization of Pythagorean triple density — hierarchical space-filling representation of the constraint manifold15MIT
conservation-spectral-topologyConservation-Spectral-Topology (CST) unified framework for spectral graph analysis15MIT
ledge-portfolioFactor-structured mean-variance portfolio optimization15Apache-2.0
channel-capacityShannon channel capacity, discrete memoryless channels (BSC, BEC, Z-channel), mutual information, capacity with cost constraints,…15MIT
neco-algnumexact real algebraic numbers with certified root isolation15MIT
isodistrregIsotonic Distributional Regression (IDR)15GPL-2.0-or-later
tpt-eidos-flight-mathPre-proved flight-control domain library for tpt-eidos (Phase 3)15Apache-2.0 OR MIT
recalc-engineHeadless, bug-for-bug Excel-compatible spreadsheet recalculation engine: open .xlsx/.xlsm, build the formula dependency graph,…15Apache-2.0
latexsnipper-runtime-paddlePaddle Inference runtime backend for LaTeXSnipper15AGPL-3.0
latexsnipper-runtime-executorchExecuTorch runtime backend for LaTeXSnipper15AGPL-3.0
latexsnipper-runtime-tensorrtNative TensorRT runtime backend for LaTeXSnipper15AGPL-3.0
cellular-automata-rsElementary cellular automata (Wolfram rules 0-255), Conway's Game of Life, Langton's Ant, and cyclic automata in pure Rust15MIT OR Apache-2.0
latexsnipper-runtime-coremlNative Core ML runtime backend for LaTeXSnipper15AGPL-3.0
latexsnipper-runtime-plugin-apiVersioned C ABI and trusted loader for LaTeXSnipper runtime plugins15AGPL-3.0
latexsnipper-incrementalExperimental source-aware incremental document sessions15AGPL-3.0
chainrules-coreBackend-agnostic JVP and VJP rule protocol for scientific Rust15MIT
flow-pacmapPaCMAP dimensionality reduction (Wang et al. 2021) for large-n flow cytometry — faer PCA, optional HNSW and k-d tree KNN15MIT
gauss_intGaussian integer arithmetic and number theory utilities15MIT OR Apache-2.0
matrixpackedPacked structured matrices with BLAS and LAPACK integration15MIT OR Apache-2.0
stix-mathA LaTeX equation parser that produces an abstract syntax tree. Supports fractions, roots, matrices, big operators, Greek letters,…14MIT
bare-nttZero-allocation, div-free, bare-metal NTT over the Goldilocks field.14AGPL-3.0-only
odsekLazy, pull-based composition of mathematical interval sets with open/closed endpoints, no_std-compatible.14MIT OR Apache-2.0
lcalc-catLimiting dilution analysis with maximum likelihood estimation, built on comp-cat-rs14MIT OR Apache-2.0
ordofp_bayesStandalone probabilistic programming crate (Bayesian inference, SMC, MH) developed alongside OrdoFP14Apache-2.0
tpt-eidos-codegenLowers the erased eidos computational core to a no_std Rust crate14Apache-2.0 OR MIT
embedded-quaternion-f32Quaternions f32 pour rotations 4D no_std embarqué (Hamilton product, projection 4D->3D->2D)14GPL-2.0-or-later
categorical-agentsCategorical formalization of agent capabilities as symmetric monoidal category objects with protocol morphisms13MIT
neco-exprexact expression graphs with certified floating-point approximations13MIT
honeyeater-cudaCUDA GPU backend for the honeyeater DSP library. Placeholder reserving the name; no implementation yet.13MIT OR Apache-2.0
honeyeater-testCross-validation helpers and tolerance assertion macros for testing DSP code against named oracles, from the honeyeater project.13MIT OR Apache-2.0
honeyeaterDSP primitives for radio-frequency and electrical signals. Filters, transforms, modulation, forward error correction, channel…13MIT OR Apache-2.0
rpn-engineReverse Polish Notation evaluator — zero-allocation, no_std, and const-evaluable, over a caller-provided stack buffer.13MIT OR Apache-2.0
tpt-zero-matrixSmall f32 matrix math (Mat3/Mat4) for #![no_std]. #![no_std], zero dependencies, fast-math backed.12MIT OR Apache-2.0
tpt-zero-quatSmall f32 quaternion math (Quat) for #![no_std]. #![no_std], zero dependencies, fast-math backed.12MIT OR Apache-2.0
kmeansnK-means clustering and centroid neighbor analysis for CSV/NDJSON streams, built for Unix pipelines12MIT
units-of-measureType-safe units of measure with ergonomic conversions and dimensional arithmetic11Apache-2.0
ravvi-ratioAspect-ratio and safe-area maths for social video ads: fit or fill a source clip into 9:16, 1:1, 4:5 and 16:9 placements without…10MIT
superkmeans-rsA Rust port of SuperKMeans: fast k-means clustering for high-dimensional vector embeddings9MIT
box-arithmeticA crate for Box Arithmetic. This crate defines the fundamental data structure, a mathematical box, and associated methods for…8MIT
gemmkit-faerfaer adapter for the gemmkit GEMM engine0MIT OR Apache-2.0
gemmkitA clean, extensible, high-performance GEMM (general matrix multiply) engine0MIT OR Apache-2.0
gemmkit-nalgebranalgebra adapter for the gemmkit GEMM engine0MIT OR Apache-2.0
gemmkit-ndarrayndarray adapter for the gemmkit GEMM engine0MIT OR Apache-2.0