Mathematics 4,394 crates

torsh-ffiForeign Function Interface bindings for ToRSh302MIT OR Apache-2.0API bindingsMathematics eennA hybrid neural-symbolic constraint solver with cognitive reasoning capabilities301MIT OR Apache-2.0AlgorithmsMathematics oxicuda-vulkanOxiCUDA Vulkan — GPU compute via Vulkan/SPIR-V (ash runtime loader, pure Rust)300Apache-2.0Hardware supportMathematics exint-macroA convenience macro for `exint`.299MIT OR Apache-2.0Data structuresMathematics rubiks-cube-representationA mathematical library for representing and analyzing Rubik's cubes using group theory and tile permutations296MITAlgorithmsMathematics oxiphysics-femFinite element method for the OxiPhysics engine294Apache-2.0MathematicsScience coral-blasa pure-rust safe blas implementation293MITAlgorithmsMathematics simtrialClinical trial simulation293MITMathematicsScience rapier3d-mjcfMuJoCo MJCF loader for the 3D rapier physics engine.291Apache-2.0Game developmentMathematics oxiproj-coreFoundation types for OxiProj: coordinates, errors, ellipsoids, datums, and units.291Apache-2.0MathematicsScience::Geospatial use-catalanUtility-first Catalan-family scaffolding for RustUse289MIT OR Apache-2.0AlgorithmsMathematics pidsk-controllerPID controller with optional feed forward and setpoint kick.289MIT OR Apache-2.0Aerospace::DronesEmbedded development tesseraA library and command line interface for calculating geometric error for 3D Tiles tilesets288MITCommand line utilitiesGraphics neural-trader-predictorConformal prediction SDK/CLI for neural trading with guaranteed intervals288MIT OR Apache-2.0AlgorithmsFinance stock-optionsOption pricing Greeks calculations using Black-Scholes and Bjerksund-Stensland models288BSD-3-ClauseFinanceMathematics dusk-curvesBackend-agnostic elliptic curve primitives288MPL-2.0CryptographyMathematics use-geometryFacade crate for the RustUse geometry workspace.288MIT OR Apache-2.0MathematicsScience laplSpectral methods: graph Laplacian, eigenmaps, spectral clustering288MIT OR Apache-2.0AlgorithmsMathematics blprsFast Berry–Levinsohn–Pakes (BLP) estimation for random coefficients logit models287MITAlgorithmsMathematics thermalcomfortA Rust port of pythermalcomfort for thermal comfort calculations (no_std, WASM-compatible)287MITMathematicsNo standard library alkahest-casHigh-performance computer algebra kernel: symbolic expressions, polynomials, Gröbner bases, JIT, and Arb ball arithmetic.286Apache-2.0MathematicsScience mathhook-coreCore mathematical engine for MathHook - expressions, algebra, and solving285MIT OR Apache-2.0AlgorithmsMathematics gonidiumA DSL compiler and REPL for typed numeric expression pipelines285MITCompilersMathematics use-orientationSmall 2D orientation helpers for RustUse geometry285MIT OR Apache-2.0MathematicsScience wp-solana-amm-mathProtocol-agnostic AMM math for Solana DEX — tick pricing, bin pricing, liquidity math, swap simulation285MIT OR Apache-2.0Cryptography::CryptocurrenciesMathematics perfgate-pairedPaired benchmarking statistics for A/B comparison283MIT OR Apache-2.0Development toolsMathematics pr4xis-runtimeThe pr4xis runtime — load a .prx ontology as data, deserialize into the free category, rebind into the closed world; grounds only…281CC-BY-NC-SA-4.0AlgorithmsMathematics aprender-randCounter-based parallel RNG — Philox 4x32-10 with provable statistical properties281MIT OR Apache-2.0AlgorithmsMathematics perfgate-significanceStatistical significance testing for benchmarking280MIT OR Apache-2.0Development toolsMathematics rust-latex-parserA LaTeX equation parser that produces an abstract syntax tree. Supports fractions, roots, matrices, big operators, Greek letters,…279MITMathematicsParser implementations better-conversionsSafe and explicit numeric conversions with range and precision checking279MIT OR Apache-2.0MathematicsNo standard library qudit-macrosAccelerated and Extensible Quantum Library279BSD-3-ClauseCompilersData structures sphereql-indexSpatial indexing and queries for sphereQL279MITData structuresMathematics rstm-macrosprocedural macros focused on streamlining the composition of Turing machines and their rules.278Apache-2.0MathematicsScience numra-optimOptimization for Numra: BFGS, L-BFGS, L-BFGS-B, Levenberg-Marquardt, Nelder-Mead, CMA-ES, SQP, LP/MILP, augmented Lagrangian,…278LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics algebra-sparseEfficient sparse linear algebra library built on nalgebra with CSR/CSC formats and block diagonal matrix support277non-standardMathematicsScience vampire-proverSafe Rust bindings to the Vampire theorem prover for first-order logic276MIT OR Apache-2.0MathematicsScience hyperlimitHyperreal-backed exact predicates with structural Real awareness.274MIT OR Apache-2.0GamesMathematics zfp-rsA pure-Rust implementation of the ZFP compression algorithm273MIT OR Apache-2.0AlgorithmsMathematics echidna-optimOptimization solvers and implicit differentiation for echidna273MIT OR Apache-2.0AlgorithmsMathematics ocas-coreCore runtime, memory management, and numerical backend glue for oCAS273LGPL-3.0-or-laterMathematicsScience volterra-coreTrait definitions and error types for the volterra active nematics framework272MITMathematicsScience vela-verifyVela Verify: frozen, independent exact verifiers for combinatorial and coding-theory witnesses (Sidon, Golomb, cap sets, B_h,…271Apache-2.0 OR MITMathematicsScience aprender-tensorN-dimensional tensor contractions — Einstein summation via TTGT (cuTENSOR parity)269MIT OR Apache-2.0AlgorithmsMathematics sharpebench-statsDeterministic backtest-honesty statistics: PSR, deflated Sharpe, the data-snooping family (White RC / Hansen SPA / Romano-Wolf),…269MIT OR Apache-2.0MathematicsScience mamba-rsMamba SSM and Mamba-3 SISO in Rust with optional CUDA GPU acceleration. Inference and training (BPTT through SSM state, AdamW),…268MIT OR Apache-2.0MathematicsScience aprender-fftFast Fourier Transform — Stockham auto-sort algorithm with SIMD acceleration266MIT OR Apache-2.0AlgorithmsMathematics ocas-domainAlgebraic domains and number types for oCAS266LGPL-3.0-or-laterMathematicsScience ferrotorch-mpsApple Silicon (Metal Performance Shaders) backend skeleton for ferrotorch265MIT OR Apache-2.0AlgorithmsMathematics use-linearUtility-first linear-algebra scaffolding for RustUse265MIT OR Apache-2.0MathematicsScience mantis-taComposable technical analysis and strategy engine for Rust264MIT OR Apache-2.0AlgorithmsFinance stochastic-rs-aiAI / neural surrogates for volatility models.264MITFinanceMathematics hyperlatticeA small Rust linear algebra library with hyperreal-backed scalar, vector, and matrix types.264MITMathematics cliffy-coreReactive UI framework with geometric algebra state management263MITGUIMathematics polymarket-kernelUltra-low latency Polymarket decision-support and risk engine with runtime AVX-512 acceleration, quoting kernel, analytics, and…263MITAlgorithmsFinance amari-dynamicsDynamical systems analysis on geometric algebra spaces - stability, bifurcations, attractors, and Lyapunov exponents263MIT OR Apache-2.0MathematicsScience ariadnetor-coreCore traits and types for ariadnetor tensor library263MIT OR Apache-2.0MathematicsScience ferrotorch-mlSklearn-compatible adapter for ferrotorch — Tensor ↔ ndarray + curated ferrolearn re-exports262MIT OR Apache-2.0AlgorithmsMathematics plonkish-catPLONKish circuit system built on comp-cat-rs: circuits as morphisms in a free category262MITCryptographyMathematics bevy_autodiffAutomatic differentiation using Bevy ECS as computation graph260MITMathematicsScience kizzasi-logicTensorLogic bridge for Kizzasi - constraint enforcement and safety guardrails260Apache-2.0AlgorithmsMathematics oxinum-coreCore traits and error types for OxiNum260Apache-2.0AlgorithmsMathematics numbyA powerful natural language calculator with a terminal user interface258MITCommand line utilitiesMathematics samyama-optimizationHigh-performance metaheuristic optimization algorithms (Jaya, Rao, TLBO, BMR, BWR, BMWR, QOJaya, ITLBO, SAMP-Jaya, EHR-Jaya,…258Apache-2.0AlgorithmsMathematics use-complexComposable complex-number primitives for RustUse.255MIT OR Apache-2.0MathematicsScience csrkSparse Gaussian Process regression with compactly supported radial kernels254BSD-3-ClauseMathematicsScience shamir-zeroFast zero-copy Shamir's Secret Sharing in Rust - derived from IBM / HashiCorp Vault's original Go implementation (MPL-2.0)253MIT OR Apache-2.0AlgorithmsCryptography use-matrixSmall matrix primitives and operations for RustUse251MIT OR Apache-2.0MathematicsScience wind-profileWind-profile vertical extrapolation for wind energy: power law, log law, shear exponent from two heights, and IEC 61400-12-1 air…251MIT OR Apache-2.0MathematicsScience oxiproj-geodesicKarney geodesic algorithms for OxiProj (geodesic distance, direct/inverse problems).251Apache-2.0MathematicsScience::Geospatial qudit-circuitAccelerated and Extensible Quantum Library250BSD-3-ClauseCompilersData structures herculesabqpA convex box-constrained quadratic programming solver with warm starts and active-set polishing.250BSD-3-ClauseMathematicsScience use-setUtility-first set scaffolding for RustUse249MIT OR Apache-2.0AlgorithmsMathematics use-calculusUtility-first numerical calculus helpers for RustUse249MIT OR Apache-2.0MathematicsScience ozton-mathMath utilities in ozton.249MITEmbedded developmentMathematics use-probabilityUtility-first probability primitives for RustUse248MIT OR Apache-2.0MathematicsScience gpqaUtility to assess Egor GPs quality saved using GP recorder247Apache-2.0AlgorithmsMathematics geometry-strategyPluggable per-coordinate-system strategies (Pythagoras, Haversine, Vincenty, …), Boost.Geometry style.247BSL-1.0AlgorithmsMathematics cbramod-rsCBraMod EEG Foundation Model — inference in Rust with Burn ML247Apache-2.0MathematicsScience ozton-trackingTracking models for ozton.247MITEmbedded developmentMathematics use-algebraUtility-first finite algebra law helpers for RustUse247MIT OR Apache-2.0MathematicsScience ariadnetor-nativeNative backend for ariadnetor (faer; optional HPTT transpose)247MIT OR Apache-2.0MathematicsScience arch-satellite-mathMathematical primitives and utilities used by the Satellite Bitcoin project.246MIT OR Apache-2.0Cryptography::CryptocurrenciesMathematics use-combinatoricsUtility-first checked combinatorics helpers for RustUse245MIT OR Apache-2.0AlgorithmsMathematics use-trigonometryUtility-first trigonometry scaffolding for RustUse245MIT OR Apache-2.0MathematicsScience use-logicUtility-first boolean algebra helpers for RustUse245MIT OR Apache-2.0AlgorithmsMathematics eegpt-rsEEGPT EEG Foundation Model — inference in Rust with Burn ML245Apache-2.0MathematicsScience signaljepaSignalJEPA EEG Foundation Model — inference in Rust with Burn ML245Apache-2.0MathematicsScience use-statisticsUtility-first statistics scaffolding for RustUse244MIT OR Apache-2.0MathematicsScience labram-rsLaBraM EEG Foundation Model — inference in Rust with Burn ML244Apache-2.0MathematicsScience use-integerUtility-first integer helpers for RustUse243MIT OR Apache-2.0AlgorithmsMathematics scirs2-pythonPython bindings for SciRS2 - A comprehensive scientific computing library in Rust (SciPy alternative)243Apache-2.0AlgorithmsMathematics simple_wfcA simple implementation of wave-function collapse for procedural generation243MIT OR Apache-2.0AlgorithmsGame development pounce-sensitivitySensitivity analysis / parametric NLP warm-start / reduced Hessian for POUNCE — port of upstream Ipopt's sIPOPT contrib (Pirnay,…242EPL-2.0AlgorithmsMathematics use-numberUtility-first numeric building blocks for RustUse242MIT OR Apache-2.0MathematicsScience instmodelInstruction-based neural network model training library using Burn242MITMathematicsScience use-rationalUtility-first rational-number primitives for RustUse241MIT OR Apache-2.0MathematicsScience pounce-restorationRestoration phase for POUNCE (port of Ipopt's Algorithm/Resto*): RestoIpoptNLP, RestoMinC_1Nrm, RestoFilterConvCheck, etc.…241EPL-2.0AlgorithmsMathematics oxinum-intArbitrary-precision integers for OxiNum (UBig/IBig via dashu-int)241Apache-2.0AlgorithmsMathematics vedakshaVedic and Western astrology engine — ephemeris, kundali/natal charts, panchanga, dashas, nakshatras, vargas, and more241BUSL-1.1MathematicsScience use-realUtility-first real-number primitives for RustUse240MIT OR Apache-2.0MathematicsScience ferrotorch-grammarConstrained-decoding grammar processors (JSON-schema → token-allow masks) for ferrotorch239MIT OR Apache-2.0AlgorithmsMathematics satintSaturating integers239MIT OR Apache-2.0MathematicsNo standard library ocas-atomSymbolic expression tree and rewriting for oCAS239LGPL-3.0-or-laterMathematicsScience shrew-nnNeural network layers, activations, and loss functions for Shrew237Apache-2.0MathematicsScience shrew-optimOptimizers (SGD, Adam, AdamW) for Shrew237Apache-2.0MathematicsScience thalesA comprehensive Computer Algebra System (CAS) library for symbolic mathematics, equation solving, calculus, and linear algebra237Apache-2.0MathematicsScience latexsnipper-foundationFoundation layer — Error, Result, Logging, Config, Event237AGPL-3.0Command line utilitiesMathematics geometry-algorithmFree-function algorithms (distance, length, area, within, intersects, …) ported from Boost.Geometry.236BSL-1.0AlgorithmsMathematics rdsmathMinimal math library for no_std environments - RedstoneOS236MITMathematicsNo standard library use-seriesUtility-first progression helpers for RustUse236MIT OR Apache-2.0MathematicsScience mdarray-linalg-blasBLAS backend for mdarray-linalg235MIT AND Apache-2.0MathematicsScience otspotMathematical optimization solver — LP (Revised Simplex) and QP (Interior Point / Mehrotra predictor-corrector)235AGPL-3.0-onlyAlgorithmsMathematics mdarray-linalg-lapackLAPACK backend for mdarray-linalg234MIT AND Apache-2.0MathematicsScience use-boundsAxis-aligned 2D bounds helpers for RustUse geometry234MIT OR Apache-2.0MathematicsScience sphereql-layoutLayout engine for sphereQL spatial positioning234MITAlgorithmsMathematics calcinumCalculator capable of handling arbitrarily large numbers233GPL-3.0-or-later OR MITMathematics fin_decimalA high-performance decimal fixed-point arithmetic library for financial applications233BSD-4-ClauseAlgorithmsData structures coral-aarch64a pure-rust blas implementation for aarch64.232MITAlgorithmsMathematics leanr-wasmWebAssembly bindings for lean-agentic: hash-consed dependent types in the browser232Apache-2.0Development toolsMathematics xalen-ephemPlanetary position computation for XALEN Ephemeris — VSOP87 analytical + JPL DE support232Apache-2.0MathematicsScience optical-embeddingsDeepSeek-OCR - compress text into images231Apache-2.0AlgorithmsMathematics ancdecno_std Rust decimal: fraction precision never shrinks as integers grow; 4 types from u8(2+2) to u128(38+38) digits231MITEmbedded developmentMathematics use-geodeUtility-first Geode-array primitives for RustUse230MIT OR Apache-2.0AlgorithmsMathematics dearcutDynamic earcut-based triangulation (soon-to-be) optimized for fast incremental insertions and removals. Mutating doesn't…230MIT OR Apache-2.0AlgorithmsData structures rkf78Runge-Kutta-Fehlberg 7(8) integrator for spacecraft trajectory propagation229MITMathematicsScience intrinsic-dimFast intrinsic dimensionality estimation for ML model optimization229MITAlgorithmsCompression deepcl-commonCommon crate for DeepCL229MIT OR Apache-2.0AlgorithmsMathematics rstmt-macrosprocedural macros for containers and spaces229Apache-2.0Mathematics risk-metricsRisk metrics and calculations for DeFi applications228MIT OR Apache-2.0FinanceMathematics fingerprintsProperty estimation from samples: fingerprints, entropy and support estimators228MIT OR Apache-2.0AlgorithmsMathematics rug_calcA Rug-powered scientific computing engine featuring high-performance, arbitrary-precision numerical evaluation.226MITMathematicsParser implementations arael-sketchInteractive 2D sketch editor with real-time constraint solving226MITGraphicsMathematics qtaStreaming technical analysis indicators for quantitative trading226MITAlgorithmsMathematics numra-specialSpecial mathematical functions for Numra: gamma, error functions, Bessel, elliptic integrals, Airy, hypergeometric, orthogonal…225LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics czsc-coreCore analyzer of the czsc framework (most users should depend on the `czsc` facade instead): fractal (FX), stroke (BI), pivot…224MITFinanceMathematics sensor-fusionSensor Fusion Filters for Attitude and Heading Reference Systems (AHRS)223MIT OR Apache-2.0Aerospace::DronesEmbedded development pounce-solve-reportMachine-readable `pounce.solve-report/v1` JSON writer (shared by pounce-cli and pounce-cinterface).222EPL-2.0MathematicsScience use-intervalSmall interval and bound primitives for RustUse222MIT OR Apache-2.0MathematicsScience relayrl_env_traitTraits for training and testing environments in the RelayRL framework.221Apache-2.0AlgorithmsConcurrency liblbfgs-compliant-rsFaithful pure-rust version of libLBFGS220MITAlgorithmsMathematics pflow-solverODE solvers for Petri net simulation using mass-action kinetics220MITMathematicsScience numra-pdePartial differential equation solvers for Numra via Method of Lines: heat, advection-diffusion, reaction-diffusion in 1D/2D/3D,…220LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics use-mathUtility-first facade crate for RustUse math utilities220MIT OR Apache-2.0MathematicsScience ocas-parseParser and printer for oCAS220LGPL-3.0-or-laterMathematicsScience xalen-vedicVedic astrology computations — nakshatra, dasha, panchang, yoga, dosha, compatibility220Apache-2.0MathematicsScience latexsnipper-astDocument AST — the single source of truth for all data models220AGPL-3.0Command line utilitiesMathematics logicaffeine-verifyZ3-based static verification for Logicaffeine (requires Pro+ license)219BUSL-1.1CompilersMathematics ariadnetor-tensorTensor library with support for dense and block-sparse tensors219MIT OR Apache-2.0MathematicsScience ubiquity-kernelCore kernel types and traits for Ubiquity consciousness-aware distributed intelligence systems218MIT OR Apache-2.0AlgorithmsMathematics oxinum-floatArbitrary-precision floats for OxiNum (FBig/DBig via dashu-float)218Apache-2.0AlgorithmsMathematics numra-sdeStochastic differential equation solvers for Numra: Euler-Maruyama, Milstein, adaptive SRA1/SRA2, ensemble runner.218LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics use-arithmeticUtility-first arithmetic primitives for RustUse217MIT OR Apache-2.0AlgorithmsMathematics use-angleAngle primitives for the RustUse geometry workspace217MIT OR Apache-2.0MathematicsScience enneagramA digital enneagram217GPL-3.0AlgorithmsMathematics oximedia-360360° VR video processing — equirectangular/cubemap projections, stereo 3D, spatial metadata for OxiMedia215Apache-2.0MathematicsMultimedia use-market-pricePrimitive market price vocabulary for RustUse quantitative crates215MIT OR Apache-2.0AlgorithmsFinance standard-atmosphereInternational Standard Atmosphere (ISA / U.S. Standard Atmosphere 1976) with flight-level, pressure-altitude, and…213MIT OR Apache-2.0AerospaceMathematics ocas-polyPolynomial algorithms for oCAS213LGPL-3.0-or-laterMathematicsScience toranikoA Rust implementation of the toraniko factor model212MITFinanceMathematics arpack-sysFFI bindings to ARPACK-NG (system-linked via pkg-config)212MIT OR Apache-2.0External FFI bindingsMathematics numra-fftFFT and spectral analysis for Numra: complex/real FFT, IFFT, 2D FFT, convolution, PSD, Welch, STFT, windowing — built on rustfft.212LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics xalen-chineseChinese astrology — BaZi Four Pillars, solar terms, Heavenly Stems, Earthly Branches212Apache-2.0MathematicsScience ai-pxfmA no_std fork of pxfm211BSD-3-Clause OR Apache-2.0Mathematics formcalcA powerful formula evaluation engine with dependency management and parallel execution208MITMathematicsParser implementations bevy_symbios_shapeBevy integration for Symbios Shape.208MITGame developmentMathematics ai-strict-numA no_std fork of strict-num206MITMathematicsNo standard library bevy_symbios_audioAlgorithmic audio generator for Bevy.206MITGame developmentMathematics numra-interpInterpolation for Numra: linear, cubic spline (natural/clamped/not-a-knot), PCHIP, Akima, barycentric Lagrange.205LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics system_solverFind values of unknown parameters that satisfy a system of constraint equations and given parameter values.205MIT OR Apache-2.0MathematicsScience ccalc-engineCore computation engine for ccalc: tokenizer, parser, AST evaluator, and memory cells204MITEmbedded developmentMathematics math-femMultigrid FEM solver for the Helmholtz equation204GPL-3.0-or-laterMathematicsScience t4a-cubecl-commonTemporary tensor4all fork of CubeCL common utilities204MIT OR Apache-2.0AlgorithmsMathematics libmat-rsRust bindings for libmat, an stb-style single-header linear algebra library in pure C203Apache-2.0API bindingsMathematics ocas-rewritePattern matching, rewriting and rule-based simplification for oCAS203LGPL-3.0-or-laterMathematicsScience embedded-trig-f32sin, cos, tan, cot, sincos, asin, acos, atan2 f32 FPU pour no_std embarqué, testée sur Cortex-M33202GPL-2.0-or-laterEmbedded developmentMathematics boost_geometryRust port of Boost.Geometry — same design philosophy (concepts, tags, strategy-based dispatch), works with your own…201BSL-1.0AlgorithmsMathematics type-proofA crate for type-checked propositional logic proofs201MITMathematics spandaA general-purpose animation library for Rust — tweening, keyframes, timelines, and physics.201MIT OR Apache-2.0Game developmentGraphics oxiproj-transformationsDatum transformations and coordinate conversions for OxiProj.201Apache-2.0MathematicsScience::Geospatial rt-fft-convolverA high-performance, zero-latency partitioned convolution engine. Designed specifically for real-time guitar cabinet simulation…200MITMathematicsMultimedia::Audio cpsat-rsRust bindings for Google OR-Tools CP-SAT solver199Apache-2.0AlgorithmsMathematics geometry-rtreeR-tree spatial index over the geometry kernel — insert, spatial query, and nearest-neighbour search.199BSL-1.0AlgorithmsMathematics hybrid-predict-trainer-rsHybridized predictive training framework with warmup, full-train, predict, and residual correction phases for accelerated deep…198MITAlgorithmsMathematics ariadnetor-linalgBackend-agnostic linear algebra API for ariadnetor198MIT OR Apache-2.0MathematicsScience geometry-overlaySegment-intersection kernel, turn graph, and boolean overlay (intersection/union/difference) for the Boost.Geometry Rust port.197BSL-1.0AlgorithmsMathematics qfall-toolsCommon sub-modules and procedures in lattice-based constructions197MPL-2.0CryptographyDevelopment tools::Build Utils oxiproj-projectionsMap projections for OxiProj (Mercator, transverse Mercator, Lambert, and more).197Apache-2.0MathematicsScience::Geospatial oldies-copasiCOPASI/SBML biochemical network simulator revival in Rust196MIT OR Apache-2.0MathematicsScience oldies-xppautXPPAUT bifurcation analysis revival in Rust - Hopf detection, phase portraits195MIT OR Apache-2.0MathematicsScience oldies-autoAUTO continuation algorithm revival in Rust - Numerical bifurcation analysis195MIT OR Apache-2.0MathematicsScience ruvector-verifiedFormal verification layer for RuVector: proof-carrying vector operations with sub-microsecond overhead using lean-agentic…195MIT OR Apache-2.0Database implementationsMathematics amari-rewriteAbstract and term rewriting systems for the Amari library195MIT OR Apache-2.0AlgorithmsMathematics poincare-libGPU-accelerated 3D plotting library for mathematical functions and scientific visualisation195MITGraphicsMathematics blackbox-loggerBetaflight compatible blackbox flight data recorder.195GPL-3.0-or-laterAerospace::DronesEmbedded development oldies-genesisGENESIS neural simulator revival in Rust - Compartmental modeling from 1988194MIT OR Apache-2.0MathematicsScience oldies-neuronNEURON simulator revival in Rust - HOC and NMODL parsers for cable equation modeling194MIT OR Apache-2.0MathematicsScience oldies-brianBrian spiking neural network simulator revival in Rust194MIT OR Apache-2.0MathematicsScience oldies-nestNEST simulator revival in Rust - Large-scale spiking neural networks194MIT OR Apache-2.0MathematicsScience geometry-adaptAdapters and registration macros for foreign point/linestring/polygon types.194BSL-1.0AlgorithmsMathematics