Science 10,187 crates

fp-columnarColumnar storage primitives (Column, ValidityMask) for pandas-parity dataframes — the storage layer behind fp-frame.1,182non-standardData structuresScience zeph-subagentSubagent management: spawning, grants, transcripts, and lifecycle hooks for Zeph1,182MIT OR Apache-2.0Command line utilitiesScience sklears-linearLinear models for sklears: linear regression, logistic regression, and GLMs1,181Apache-2.0MathematicsScience navbar🍔 A highly customizable navbar component for WASM frameworks like Yew, Dioxus, and Leptos.1,180MITScienceWeb programming openbciNative Rust driver for OpenBCI EEG/EMG boards (Cyton, Cyton+Daisy, Ganglion, Galea) with standard 10-05/10-10/10-20 electrode…1,180MITEmbedded developmentHardware support moenarch-audio-analysis-fourierFFT, STFT, and spectral audio analysis for video-analysis.1,178MIT OR Apache-2.0AlgorithmsComputer vision voirs-evaluationQuality evaluation and assessment framework for VoiRS1,175Apache-2.0MathematicsMultimedia::Audio tensor_frameA PyTorch-like tensor library for Rust with CPU, WGPU, and CUDA backends1,174MIT OR Apache-2.0MathematicsScience hanzo-ugMinimalist ML framework.1,174BSD-3-Clause OR Apache-2.0Science uvoxxyzBridge between UVoxID spherical space and Cartesian XYZ + quaternions1,172MITMathematicsScience rlx-rocmAMD ROCm/HIP backend — same .cu kernel sources as rlx-cuda, dispatched via HIP.1,172GPL-3.0-onlyAlgorithmsCompilers spawn-stochasticA Rust library for simulating multiple stochastic processes including ABM, GBM, Ornstein-Uhlenbeck, Feller Square Root, and…1,171MITFinanceMathematics zellla Rust implementation of the cell lists algorithm.1,170MITScienceSimulation astrographA library dedicated to provinding astronomical predictions of non-chaotic and deterministic bodies.1,169LGPL-3.0-or-laterAerospace::Aerospace simulationsMathematics moenarch-audio-analysis-recognitionDeterministic audio embeddings and similarity search for video-analysis.1,168MIT OR Apache-2.0AlgorithmsComputer vision voirs-conversionReal-time voice conversion system for VoiRS1,167Apache-2.0AsynchronousMultimedia::Audio unit-kitPowerful Rust library for seamless units kit conversions and management.1,167MIT AND Apache-2.0MathematicsParsing tools fp-indexFlat and multi-level row index types (Index, MultiIndex) for pandas-parity dataframes.1,167non-standardData structuresScience fp-runtimeRuntime policies, evidence ledgers, and asupersync interop for the frankenpandas execution layer.1,167non-standardData structuresScience latexmlA TeX to XML/HTML/ePub converter: a LaTeXML reimplementation in Rust1,166CC0-1.0Command line utilitiesScience ferrotorch-hubPretrained model registry, download, and caching for ferrotorch1,165MIT OR Apache-2.0AlgorithmsMathematics ksw2rsNative Rust port of ksw2 (ksw2_extz2_sse) with stable-Rust SIMD backends1,163BSD-3-ClauseAlgorithmsScience bitnet-quantizeMicrosoft BitNet b1.58 quantization and inference for Rust1,162MITMathematicsScience csv2rdfLibrary for converting a CSV file to N-Triple RDF1,161BSD-3-ClauseCommand line utilitiesEncoding matten-dataCSV/table-to-Tensor preparation companion for matten (small PoC datasets).1,159Apache-2.0Data structuresScience tetra3Rust implementation of Tetra3: Fast and robust star plate solver1,157MIT AND Apache-2.0AerospaceAlgorithms moenarch-audio-analysis-speakersSpeaker embeddings, enrollment, identification, VAD, and diarization APIs for video-analysis.1,156MIT OR Apache-2.0AlgorithmsComputer vision lyndon-rsLyndon words and Lyndon basis for free Lie algebras1,154AGPL-3.0-onlyAlgorithmsData structures lumosai-vector-memoryIn-memory vector storage implementation for Lumos1,153MIT OR Apache-2.0AlgorithmsDatabase interfaces kira_cdh_compat_fastq_readerStreaming FASTQ reader compatible with CD-HIT input handling (plain and .gz), safe idiomatic Rust API; sync and async.1,153GPL-2.0-onlyParsing toolsScience pnets_dotnetA parser for dotnet petri networks1,153MIT OR Apache-2.0MathematicsParser implementations hyperballHyperbolic geometry: Poincare ball, Lorentz model, Mobius operations1,153MIT OR Apache-2.0AlgorithmsMathematics fp-frameDataFrame and Series with pandas-API parity, AACE index alignment, and GroupBy / Rolling / Resample integration.1,152non-standardData structuresScience ndarrowZero-copy bridge between Apache Arrow and ndarray1,151Apache-2.0Data structuresMathematics ruvector-nervous-systemBio-inspired neural system with spiking networks, BTSP learning, and EWC plasticity1,149MITAlgorithmsScience stochastic-abmA Rust library for simulating various stochastic processes, including Arithmetic Brownian Motion and more.1,148MITFinanceMathematics ff_structurefuzzyfold's secondary structure representations.1,147MITScienceScience::Bioinformatics lumosai-vector-milvusMilvus integration for LumosAI vector storage - high-performance vector database1,146MITAPI bindingsDatabase interfaces sparseglmFast memory-efficient solver for sparse generalized linear models1,146non-standardScience ternary-signalTernary signal types for neuromorphic systems — polarity x magnitude x multiplier, 3-byte and 1-byte packed formats1,146MIT OR Apache-2.0ScienceSimulation qir-qisQIR to Quantinuum QIS (Quantum Instruction Set) compiler1,146Apache-2.0CompilersScience ferriclink-coreA Rust library for building AI applications, inspired by LangChain1,145Apache-2.0AsynchronousScience thormotionA cross-platform motion control library for Thorlabs systems, written in Rust.1,143BSD-3-ClauseHardware supportScience fire-fastaUltra-fast, lazy, zero-copy Multi-FASTA parser.1,141MIT OR Apache-2.0Science liquid-edgeMinimal edge inference runtime for LLMs1,141MIT OR Apache-2.0AlgorithmsScience rsdiff-coreThis is the core library for the Acme project. It contains the core primitives that are used throughout the project.1,140Apache-2.0MathematicsScience fast-distancesA rust library to provide distances for multidimensional arrays1,137non-standardAlgorithmsMathematics gmt_dos-systems_m2GMT DOS M2 System1,137MITScienceSimulation tcliffordGeometric algebra library1,136MITAlgorithmsGraphics logicaffeine-systemPlatform IO, networking, persistence, and post-quantum crypto kernels (Keccak/SHA-3, ChaCha20-Poly1305, ML-KEM, ML-DSA) for LOGOS1,136BUSL-1.1CompilersMathematics rust_test_repo_dont_use_it_1337TODO1,134MIT OR Apache-2.0Multimedia::AudioScience ferray-statsStatistical functions, reductions, sorting, and histograms for ferray1,134MIT OR Apache-2.0MathematicsScience agentosAI agent library1,131MITScience rstm-tapeA generic state implementation and its supporting interfaces1,131Apache-2.0MathematicsScience logicaffeine-languageNatural language to first-order logic pipeline1,131BUSL-1.1CompilersMathematics tl-astAbstract Syntax Tree definitions for ThinkingLanguage1,131Apache-2.0CompilersDevelopment tools nhs-number-cliCommand line tool that validates United Kingdom (UK) National Health Service (NHS) Numbers, one per line, from standard input.1,131MIT OR Apache-2.0 OR GPL-2.0 OR GPL-3.0 OR BSD-3-ClauseData structuresScience copc-coreShared COPC metadata, hierarchy, streaming point, and error types1,131MIT OR Apache-2.0Data structuresScience icentral-speedup-calculationRust library for efficient graph traversal and speedup calculations using Betweenness Centrality and MUC detection techniques.1,130MIT OR Apache-2.0AlgorithmsScience mosekcomodel_highsHIGHS backend for mosekcomodel1,128MITMathematicsScience wrapping_in_rangeWrapping arithmetic for any range1,125MIT OR Apache-2.0AlgorithmsNo standard library radsymRadial symmetry detection: center proposals, local support analysis, scoring, and refinement1,124MIT OR Apache-2.0AlgorithmsMultimedia::Images gmt_dos-systems_m1GMT DOS M1 System1,122MITScienceSimulation petekioSubsurface data ingestion + structure layer: surfaces, wells, points, polygons with loading, interpolation, and statistics.1,120Apache-2.0Parsing toolsScience solunatusHigh-precision astronomical calculation library and CLI for sun/moon positions, rise/set times, and lunar phases1,118MITCommand line utilitiesScience ternlang-mlTernary ML inference kernels — TritFloat (confidence-native ternary float), TritFloatTensor, sparse_matmul (@sparseskip),…1,117LicenseRef-BSL-1.1CompilersScience tensorlogic-compilerCompiler for transforming logic expressions into tensor computation graphs1,116Apache-2.0AlgorithmsMathematics kenlm-rsRust bindings for KenLM language model inference1,115LGPL-3.0-or-laterAPI bindingsScience hdl-cat-errorShared Error enum for hdl-cat1,114MIT OR Apache-2.0Hardware supportScience aprender-registryModel, Data and Recipe Registry with full lineage tracking1,113MITDatabase interfacesScience sciencecalc-tuiA terminal calculator toolkit for mathematics, physics, and chemistry in Rust. | Kalkulator Matematika, Fisika, Kimia berbasis TUI1,112MITCommand line utilitiesMathematics cortiq-coreCMF (Cortiq Model Format): a self-describing, memory-mappable binary container for quantized LLM weights, tokenizer, per-task…1,112Apache-2.0Science spectrogramsHigh-performance FFT-based computations for audio and image processing1,112MITMultimedia::AudioMultimedia::Images skeleton-rs🦴 A highly customizable skeleton component for WASM frameworks like Yew, Dioxus, and Leptos.1,109MITScienceWeb programming cobre-stochasticStochastic process models for power systems — PAR(p), scenario generation, correlated sampling1,107Apache-2.0MathematicsScience thermorustThermodynamic neural motif engine: energy-driven state transitions with Landauer dissipation and Langevin noise1,106MIT OR Apache-2.0AlgorithmsScience ruvector-ditherDeterministic low-discrepancy dithering for low-bit quantization: golden-ratio and π-digit sequences for blue-noise error shaping1,105MIT OR Apache-2.0AlgorithmsNo standard library numrHigh-performance numerical computing with multi-backend GPU acceleration (CPU/CUDA/WebGPU)1,104Apache-2.0Data structuresMathematics runnRunn is a feature-rich, easy-to-use library for building, training, and evaluating feed-forward neural networks in Rust1,101MIT OR Apache-2.0AlgorithmsData structures rragHigh-performance Rust framework for Retrieval-Augmented Generation with pluggable components, async-first design, and…1,101MITAPI bindingsAsynchronous zeph-orchestrationTask orchestration: DAG execution, failure propagation, and persistence for Zeph1,100MIT OR Apache-2.0Command line utilitiesScience mold-ai-inferenceCandle-based inference engine for mold — FLUX, SDXL, SD3.5, Z-Image diffusion models1,099MITCommand line utilitiesMultimedia::Images exo-temporalTemporal memory coordinator with causal structure for EXO-AI cognitive substrate1,097MIT OR Apache-2.0AlgorithmsData structures zeph-schedulerCron-based periodic task scheduler with SQLite persistence for Zeph1,097MIT OR Apache-2.0Command line utilitiesScience rotomlA native Rust AutoML pipeline toolkit1,095MITAlgorithmsData structures ailake-vecVector quantization (F32/F16/I8/PQ) and SIMD distance kernels for AI-Lake1,091MIT OR Apache-2.0AlgorithmsData structures outfitOrbit determination toolkit in Rust. Provides astrometric parsing, observer management, and initial orbit determination (Gauss…1,091non-standardData structuresParsing tools torsh-specialSpecial mathematical functions for ToRSh with SciRS2 integration1,090Apache-2.0MathematicsScience asap-rankingActive Sampling for Pairwise Comparisons (ASAP) algorithm implementation in Rust1,088AGPL-3.0AlgorithmsScience imbalanced-coreCore traits and abstractions for imbalanced learning in Rust1,085MIT OR Apache-2.0AlgorithmsScience charlottecharlotte is a rust lib for vector calculus1,084MITMathematicsScience pmetal-mlxMLX backend implementation for PMetal LLM fine-tuning1,083MIT OR Apache-2.0AlgorithmsScience oxigdal-shapefileShapefile (ESRI) driver for OxiGDAL - Pure Rust GDAL reimplementation1,082Apache-2.0EncodingParser implementations vela-protocolCore library for the Vela scientific knowledge protocol: replayable frontier state, signed canonical events, and proof packets.1,081Apache-2.0 OR MITCryptographyData structures oxicuda-backendOxiCUDA Backend - Abstract compute backend trait for GPU dispatch1,079Apache-2.0Hardware supportMathematics query-curveA Rust library for querying custom Bezier curves, compatible with curves created at https://querycurve.com.1,078MITFinanceGame development dda-rsPure Rust Delay Differential Analysis engine1,075MITAPI bindingsScience neuro-divergent-coreCore foundation for neuro-divergent neural forecasting library1,073MIT OR Apache-2.0AlgorithmsMathematics zeph-channelsMulti-channel I/O adapters (CLI, Telegram, Discord, Slack) for Zeph1,073MIT OR Apache-2.0Command line utilitiesScience crbrs-lspA cross-platform command-line toolchain and LSP for Campbell Scientific CRBasic dataloggers.1,072MIT OR Apache-2.0Command-line interfaceDevelopment tools clstrA library to parse and write .clstr files from 'CD-HIT', as well as a small binary with simple functionality.1,071MITScience faloopsCounter-attack nonhuman bad actors that abuse Frequency-shift Keying and Phase-shift Keying in your human environment thusly…1,068GPL-3.0-or-laterMultimedia::AudioScience epanet-rsA fast, modern and safe re-implementation of the EPANET2 hydraulic solver, written in Rust.1,068MIT OR Apache-2.0ScienceSimulation hdl-cat-bitsBit-precise unsigned and signed integer newtypes for hdl-cat1,068MIT OR Apache-2.0Hardware supportScience zeph-experimentsExperiment engine for adaptive agent behavior testing and hyperparameter tuning1,067MIT OR Apache-2.0Command line utilitiesScience f1-nexus-coreNext-generation Formula 1 strategy optimization platform with AI-powered race simulation1,066MIT OR Apache-2.0AlgorithmsScience moshi-dbmoshi, a real-time voice AI1,066MIT/Apache-2.0Science fx-durable-gaDurable GA event driven optimization loop on PostgreSQL1,066MIT OR Apache-2.0AlgorithmsScience ferro-hgvsHGVS variant normalizer - part of the ferro bioinformatics toolkit1,066MITCommand line utilitiesScience axonml-serializeModel serialization for Axonml ML framework1,065MIT OR Apache-2.0Data structuresScience rstm-actorsThis crate focuses on building concrete implementations for Turing Machines.1,064Apache-2.0MathematicsScience sklears-clusteringClustering algorithms for sklears: K-means, DBSCAN, hierarchical clustering1,062Apache-2.0AlgorithmsMathematics zeph-vaultVaultProvider trait and backends (env, age) for Zeph secret management1,058MIT OR Apache-2.0Command line utilitiesScience subsumeRegion embeddings for entailment and set containment1,057MIT OR Apache-2.0AlgorithmsScience rustyasgGraph-based deep learning framework in Rust: define-then-run ASG, graph-to-graph autograd, wgpu GPU backend, and an interactive…1,056MITGraphicsMathematics capability-full-annotated-leaf-holdersA Rust crate for crafting fully annotated leaf holders mimicking detailed domain observations, using advanced serialization and…1,053GPL-3.0-onlyAlgorithmsData structures engcon_macrosHelpful macros to define contracts on data-structure level1,050MIT OR Apache-2.0Data structuresScience adriannAdriann is a Rust library implementing SPANN, a high-scale hybrid nearest-neighbor algorithm.1,049Apache-2.0AlgorithmsDevelopment tools ff_energyfuzzyfold's nearest neighbor free energy evaluations.1,046MITScienceScience::Bioinformatics slider-rs🎚️ A highly customizable slider component for WASM frameworks like Yew, Dioxus, and Leptos.1,045MITScienceWeb programming mrcMRC-2014 file format reader/writer for cryo-EM — SIMD-accelerated, mmap-enabled1,044MITData structuresMemory management cwl_corePart of `CommonWL`. Document parsing1,043MIT OR Apache-2.0Science netlistx-rsNetlist (hypergraph) in Rust1,040MIT OR Apache-2.0AlgorithmsData structures polyhedronA half edge and radial edge implementation.1,039non-standardAlgorithmsGame development zeph-a2aA2A protocol client and server with agent discovery for Zeph1,037MIT OR Apache-2.0Command line utilitiesScience sview-fmindexFM-index library with slice view architecture for efficient text indexing and pattern matching1,036MITAlgorithmsData structures temporal-compareHigh-performance framework for benchmarking temporal prediction algorithms inspired by Time-R11,035MITAlgorithmsMathematics astrodynamics-gnssGNSS domain layer (SP3, broadcast ephemeris, multi-GNSS single-point positioning, ionosphere/troposphere, DOP) built on the…1,031MITScienceSimulation nc-to-pqA CLI tool to convert 1D variable NetCDF4 files to Apache Parquet format.1,030MITCommand line utilitiesScience voirsAdvanced voice synthesis and speech processing library for Rust1,028MIT OR Apache-2.0AlgorithmsMultimedia::Audio grib-coreShared GRIB data model, primitives, and code tables1,028MIT OR Apache-2.0EncodingParser implementations rapid-nnRapid Neural Networks in Rust: A lightweight and fast neural network library that's easy to use.1,026MITScience misykatIslamic library for Rust1,026GPL-3.0-onlyDate and timeScience hdl-cat-kindHardware-describable-type trait (Hw) and type descriptors for hdl-cat1,026MIT OR Apache-2.0Hardware supportScience moenarch-runtime-onnxDomain-neutral ONNX Runtime session and tensor helpers.1,025MIT OR Apache-2.0AlgorithmsComputer vision turf-rsA Rust library for advanced geospatial analysis based on Turf, providing powerful tools for manipulating and optimizing geometric…1,025MIT OR Apache-2.0GraphicsLocalization (L10n) zeph-gatewayHTTP gateway for webhook ingestion with bearer auth for Zeph1,025MIT OR Apache-2.0Command line utilitiesScience axion-dataA high-performance data processing library written in Rust, providing DataFrame and Series functionality similar to pandas1,024MITData structuresDevelopment tools chord_nameA library for working with chord names in music theory.1,023MIT OR Apache-2.0AlgorithmsMathematics pmetal-mlx-syspmetal-maintained fork of mlx-sys: low-level interface and binding generation for the mlx library1,023MIT OR Apache-2.0Science exg-lunaLUNA seizure-detection preprocessing pipeline for EEG — built on exg1,023GPL-3.0-onlyMathematicsScience cdflibPure-Rust port of CDFLIB: cumulative distribution functions (CDF) associated with common probability distributions1,021MITMathematicsScience torch-sys-plusLow-level FFI bindings for the PyTorch C++ api (libtorch).1,019MIT/Apache-2.0External FFI bindingsScience voirs-singingSinging voice synthesis for VoiRS1,018Apache-2.0MultimediaMultimedia::Audio teh-o-prkePoint Reactor Kinetics Package (PRKE) for the Transport and Eigenvalue Hybrid Open source solver (Teh-O)1,018GPL-3.0-onlyScience memvid-ask-modelLLM inference module for Memvid Q&A with local and cloud model support1,017Apache-2.0ScienceText processing yomikomi-pyo3Dataloader for training large text models.1,016MIT OR Apache-2.0Science doris-rsDORIS RINEX file parsing and production1,016MPL-2.0Parsing toolsScience prismatica308 scientific colormaps as compile-time Rust constants1,015GPL-3.0-onlyNo standard libraryScience medicomA library for reading and writing DICOM, the DIMSE network protocol, and decoding DICOM images.1,013Apache-2.0EncodingMultimedia::Encoding infallible_tobigintInfallible ToBigInt/ToBigUint conversion traits for num-bigint1,012MIT OR Apache-2.0AlgorithmsData structures colmapA comprehensive Rust library for COLMAP-style computer vision and 3D reconstruction1,012MITAlgorithmsComputer vision supply-chain-trust-example-crate-000033Numeric traits for generic mathematics1,011MIT OR Apache-2.0AlgorithmsNo standard library kos-candle-coreMinimalist ML framework.1,008MIT OR Apache-2.0Science pmetal-mlx-rspmetal-maintained fork of mlx-rs: unofficial rust wrapper for Apple's mlx machine learning library.1,007MIT OR Apache-2.0Science utomid-rsCompact encoding for chemical elements, compounds, and basic chemistry utilities.1,006MITData structuresScience pmetal-ggufGGUF file format implementation for PMetal1,006MIT OR Apache-2.0AlgorithmsScience groebnerA Rust library implementing Groebner basis algorithms1,003MITMathematicsScience pindakaas-intel-satbuild of the Intel SAT solver for the pindakaas crate1,003MITAlgorithmsMathematics zeph-tuiRatatui-based TUI dashboard with real-time metrics for Zeph1,002MIT OR Apache-2.0Command line utilitiesScience cox-hazardsA Rust library for Cox proportional hazards regression with elastic net regularization1,001MITAlgorithmsScience sonareRuntime environment for formally-verifiable distributed software1,001Apache-2.0AlgorithmsCryptography sklears-model-selectionModel selection utilities for sklears: cross-validation, grid search, train-test split1,001Apache-2.0MathematicsScience slabtasticA streamable, readable, writeable, randomly accessible file format1,001Apache-2.0FilesystemNetwork programming logicaffeine-compileLOGOS compilation pipeline - codegen and interpreter999BUSL-1.1CompilersMathematics idunAsync Rust client, CLI, and TUI for streaming real-time EEG, IMU, and impedance data from IDUN Guardian earbuds over Bluetooth…999MITCommand line utilitiesHardware support metar-taf-parserA strongly-typed METAR and TAF parser library for aviation weather reports998MITParsing toolsScience arraylakeA client for Earthmover's ArrayLake platform997Apache-2.0ScienceScience::Geospatial ferrotorch-dataData loading, batching, and transforms for ferrotorch997MIT OR Apache-2.0AlgorithmsMathematics nalgebra_block_triangularizationStructural decomposition of sparse matrices into block triangular form using graph algorithms996MITAlgorithmsMathematics kos-candle-nnMinimalist ML framework.991MIT OR Apache-2.0Science demtileGSI（国土地理院）DEMタイルPNG画像から標高値を取得するRustライブラリ990MITCommand line utilitiesScience cobre-commPluggable communication backend abstraction for the Cobre ecosystem (MPI, TCP, shared-memory, local)990Apache-2.0Network programmingScience glowstick-burnIntegration of glowstick with the burn tensor987MITScience commutator-rsCommutator operations for non-commutative algebras982AGPL-3.0-onlyData structuresMathematics cobre-ioCase directory loading and validation for the Cobre power systems ecosystem982Apache-2.0Parser implementationsScience glowstick-candleIntegration of glowstick with the candle tensor981MITScience sealex-apiSealex API (sealex-api) is a web service that exposes a REST API that provides services related to the lexicons of SouthEast…980Unlicense OR MITScienceText processing cobre-solverLP/MIP solver abstraction layer with HiGHS backend for power system optimization979Apache-2.0MathematicsScience ferrunitasA type-safe unit conversion library with compile-time dimensional analysis978Apache-2.0Data structuresMathematics swiss-eph-dataEmbedded ephemeris data files for swiss-eph (Swiss Ephemeris)978AGPL-3.0Data structuresScience sublinearHigh-performance sublinear-time solver for asymmetric diagonally dominant systems977MIT OR Apache-2.0MathematicsScience sklears-treeDecision tree algorithms for sklears: CART, ID3, C4.5977Apache-2.0AlgorithmsMathematics thermal_rsThermal Conduction Simulation Library976MITMathematicsScience cartan-geoGeodesic computation and geometric tools for cartan: geodesic curves, curvature queries, Jacobi fields976MITAlgorithmsMathematics mappers_warpVery simplistic tool for reprojecting maps, based on GdalWarp975Apache-2.0MathematicsScience pxdctDiscrete cosine transform973BSD-3-Clause OR Apache-2.0AlgorithmsScience kos-candle-transformersMinimalist ML framework.973MIT OR Apache-2.0Science ta-pantherTechnical analysis library. Implements number of indicators: EMA, SMA, RSI, MACD, Stochastic, etc.972MITAlgorithmsScience abacoMath engine — expression evaluation, unit conversion, and numeric types for Rust967AGPL-3.0-onlyMathematicsScience oxirs-shacl-aiAI-powered shape induction and data repair suggestions for SHACL validation967Apache-2.0AlgorithmsData structures mlua-mathlibMath library for mlua — RNG, distributions, hypothesis testing, ranking, information theory, and statistics966MIT OR Apache-2.0API bindingsMathematics cartan-decDiscrete exterior calculus on Riemannian manifolds: simplicial complexes, Hodge operators, and covariant differential operators…966MITAlgorithmsMathematics rustplexA linear programming solver based on the Simplex algorithm for Rust964MIT OR Apache-2.0AlgorithmsMathematics manopt-rsA high-performance Rust library for manifold optimization built on the Burn deep learning framework963MITAlgorithmsMathematics rossbyA blazingly fast, in-memory, NetCDF-to-API server963MIT OR Apache-2.0ScienceWeb programming::HTTP server cortiq-enginePortable inference runtime for the CMF model format, with no ML framework underneath: runs on CPU, and on GPU (Vulkan / Metal /…963Apache-2.0Science mathengine-unitsComprehensive unit conversion system supporting multiple measurement dimensions963MIT OR Apache-2.0MathematicsParsing tools tmp-typst-custom-metadataA new markup-based typesetting system that is powerful and easy to learn.962Apache-2.0CompilersScience cvc5High-level Rust bindings for the cvc5 SMT solver961BSD-3-ClauseScience