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