CATEGORY

Science 10,187 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.

quill-mlx-internal-macrosInternal procedural macros for quill-mlx182MIT OR Apache-2.0Science memme-coreCore memory engine for MemMe — edge-first AI memory with DuckDB storage182Apache-2.0Database interfacesScience pitch-coreStreaming pitch (f0) tracker — pure-DSP backends (SWIPE', pYIN, Praat-AC). No model files, no GPU.182MIT OR Apache-2.0Multimedia::AudioScience flowmatchFlow matching primitives (ndarray-first; backend-agnostic) with semidiscrete FM and RFM experiments.182MIT OR Apache-2.0MathematicsScience ontoindex-lspLanguage server for OntoCode ontology browsing182MIT OR Apache-2.0Command line utilitiesParser implementations svbony-sysRaw FFI bindings to the SVBony USB camera C SDK (v1.13.4)182MITExternal FFI bindingsHardware support nnlangCompiler for the NNLang (Neural Network Language)181Apache-2.0CompilersEmbedded development oxigdal-copcPure Rust COPC (Cloud Optimized Point Cloud) reader for OxiGDAL - LAS/LAZ format with spatial index181Apache-2.0EncodingParser implementations oxigdal-mbtilesPure Rust MBTiles tile archive reader for OxiGDAL - SQLite-based tile pyramid support181Apache-2.0EncodingParser implementations pe-coreCore types for Potential Expectations — messages, channels, state, traits181MIT OR Apache-2.0AsynchronousDevelopment tools rlx-fdmForce density method (FDM) for RLX — pin-jointed form-finding ported from jax_fdm.181GPL-3.0-onlyAlgorithmsCompilers volterra-decDEC physics layer: Q-tensor fields, Stokes solvers, BVH semi-Lagrangian advection, Helfrich energy, and variational integrators…181MITMathematicsScience symbolic_regression_wasmWASM bindings for symbolic_regression (browser-friendly wrapper via wasm-bindgen).180Apache-2.0AlgorithmsMathematics megahal-markovInternal MegaHAL implementation detail; APIs are not stable. Bidirectional Markov model with context window.180MITScience bootedA library for bootstrapping estimators on arbitrary data structures.180MITScience surge-dispatchSurge dispatch — SCED and multi-period production cost simulation180PolyForm-Noncommercial-1.0.0AlgorithmsScience nu-analyticsA CLI tool for computing Curricular Analytics metrics. Based off metrics from CurricularAnalytics.org. Currently, only basic…180MITCommand line utilitiesScience volterra-fieldsTensor field types on Cartesian grids: Q-tensor, velocity, pressure, and scalar fields for 2D/3D active nematics180MITMathematicsScience zotero-rdfA Rust library for parsing Zotero RDF/XML export files179MITEncodingParser implementations medcodesMedical code ontologies, hierarchy traversal, and cross-system mapping179MIT OR Apache-2.0Data structuresScience rlx-embedRLX embedding runtime (BERT / NomicBERT / NomicVision)179GPL-3.0-onlyAlgorithmsScience rlx-lfmLiquidAI LFM2.5 runner (text) — LFM SSM LM (decode-step + state wiring)179GPL-3.0-onlyAlgorithmsScience bebelmCPU-only, pure-Rust inference for Liquid AI LFM2.5-8B-A1B (Q4_K_M)179MITCommand line utilitiesScience ronn-graphGraph optimization and execution planning for RONN neural network runtime178MITAlgorithmsScience ronn-onnxONNX model parsing and compatibility layer for RONN runtime178MITAlgorithmsScience thinkinglanguageCLI entry point for ThinkingLanguage (tl run, tl shell)178Apache-2.0CompilersDevelopment tools cognee-chunkingText chunking and token counting for the cognee ingestion pipeline.178MIT OR Apache-2.0Database interfacesScience rlevo-evolutionEvolutionary algorithms for rlevo (internal crate — use `rlevo` for the full API)178MIT OR Apache-2.0AlgorithmsScience ronn-providersExecution provider framework for RONN - hardware abstraction layer177MITAlgorithmsScience mathhookHigh-performance educational computer algebra system with ergonomic Rust macros177MIT OR Apache-2.0AlgorithmsMathematics cognee-ontologyOntology loading and entity-type resolution for the cognee knowledge graph.177MIT OR Apache-2.0Database interfacesScience abyo-speculatePure Rust Speculative Decoding library for local LLMs — vanilla SD + Medusa, Qwen2 + Llama, batch-1 optimised177Apache-2.0 OR MITScienceText processing t4a-cubecl-macrosTemporary tensor4all fork of CubeCL procedural macros177MIT OR Apache-2.0Science t4a-cubecl-runtimeTemporary tensor4all fork of CubeCL runtime support177MIT OR Apache-2.0Science propaga-enginePropagation engine for the Propaga constraint solver177MIT OR Apache-2.0AlgorithmsScience rlx-graniteGranite (IBM) Llama-shaped runner — STUB (PLAN.md M4)176GPL-3.0-onlyAlgorithmsScience wasm4pmHigh-performance process mining algorithms in WebAssembly for JavaScript/TypeScript175BUSL-1.1AlgorithmsData structures rlox-nnBackend-agnostic neural network traits for rlox175MIT OR Apache-2.0AlgorithmsScience ontocore-swrlSWRL rule model, validation, and formatting for OntoCore175MIT OR Apache-2.0Command line utilitiesParser implementations molvisCLI web viewer for molecules with 3Dmol.js rendering175MITCommand line utilitiesScience octonionMinimal, dependency-free, no_std octonion algebra175MITMathematicsNo standard library numra-statsStatistics for Numra: probability distributions, descriptive statistics, hypothesis tests (t, chi², KS, ANOVA), regression,…175LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics cartan-stochasticStochastic analysis on manifolds: orthonormal frame bundle, horizontal lift, Stratonovich development. Foundation for…175MITMathematicsScience zeph-durableNative durable execution layer for Zeph: journaled control flow with crash-resume175MIT OR Apache-2.0Command line utilitiesScience tvaTab-separated Values Assistant174MITCommand line utilitiesScience bitalino_rsBITalino Bluetooth/serial driver with Python bindings (PyO3, abi3).174non-standardAPI bindingsHardware support numra-signalDigital signal processing for Numra: IIR (Butterworth, Chebyshev I) and FIR design, zero-phase filtering, resampling, Hilbert…174LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics numra-ocpODE-constrained optimization for Numra: single and multiple shooting, collocation, adjoint sensitivity, parameter estimation for…174LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics pleiades-jplChecked-in JPL Horizons reference snapshots and snapshot-backed validation helpers for the pleiades astrology workspace.174MIT OR Apache-2.0Science hs-predictHS code prediction for chemical products — Akinator-style interactive classification with rule-based and LLM hybrid engine174MIT OR Apache-2.0API bindingsScience trustformers-wasmWebAssembly bindings for TrustformeRS transformer library174Apache-2.0ScienceWebAssembly rand_philoxCounter-based Philox4x32-10 RNG with a reproducibility contract: bit-identical, KAT-pinned, no_std, no float in core, RngCore…173MIT OR Apache-2.0AlgorithmsNo standard library databank-rsDistributed representational memory — signal-vector banks with typed edges173MITScienceSimulation hotcocoRust implementation of pycocotools — COCO dataset API for object detection, segmentation, and keypoint evaluation173MITComputer visionScience yara-mapper-sysLow-level FFI bindings to the YARA read mapper (SeqAn2)173MITExternal FFI bindingsScience numra-fitCurve fitting for Numra: nonlinear least squares (Levenberg-Marquardt), weighted fits, polynomial fit and evaluation.173LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics ocas-evalEvaluation and JIT code generation for oCAS173LGPL-3.0-or-laterMathematicsScience trustformers-serveHigh-performance inference server for TrustformeRS models173Apache-2.0ScienceWeb programming occt-wasmOpenCascade CAD kernel via WebAssembly — no C++ toolchain required173MIT OR Apache-2.0GraphicsScience rlx-sam2SAM 2 (Hiera) for RLX172GPL-3.0-onlyAlgorithmsScience numra-fdeFractional differential equation solvers for Numra: L1 scheme for Caputo derivatives, with Mittag-Leffler utilities.172LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics numra-spdeStochastic partial differential equation solvers for Numra: Method of Lines with SDE time-stepping, white and colored noise…172LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics rlx-flux2FLUX.2 rectified-flow image model for RLX172GPL-3.0-onlyAlgorithmsScience tropical-gemm-cudaCUDA backend for tropical matrix multiplication171MITAlgorithmsMathematics typegraphGraphs of types in the type system171MITScience aphelion-coreCore library for Aphelion AI framework - unified frontend for AI model development171MITDevelopment toolsScience rvsim-coreA high-performance cycle-accurate RISC-V 64-bit system simulator.171MIT OR Apache-2.0EmulatorsHardware support ferrolearnA scikit-learn equivalent for Rust — re-export crate171MIT OR Apache-2.0AlgorithmsScience gridsynthRust-based synthesizer that decomposes single-qubit Z-axis rotations into Clifford+T gate sequences170MITAlgorithmsScience argumentationFormal argumentation: Dung abstract AFs + ASPIC+ structured arguments170MIT OR Apache-2.0AlgorithmsScience solverforge-serviceJVM lifecycle management for SolverForge170Apache-2.0AlgorithmsMathematics unimorphCommand-line interface for UniMorph morphological data170Apache-2.0Command line utilitiesScience bitnet-llmSafe Rust bindings to Microsoft's BitNet b1.58 inference engine.170MITAPI bindingsScience rlx-ocrOCR engine for RLX — text detection + recognition170GPL-3.0-onlyAlgorithmsScience rlx-neuttsNeuTTS voice-cloning TTS — GGUF backbone + NeuCodec decoder for RLX170GPL-3.0-onlyAlgorithmsScience cyanea-mlML primitives for bio (embeddings, etc.) for the Cyanea bioinformatics ecosystem170Apache-2.0AlgorithmsScience metalforgeforge: a deterministic metaheuristic optimization substrate in Rust. Unified Problem/MultiProblem/Anneal traits; DDS, SCE-UA, DE,…170MIT OR Apache-2.0AlgorithmsMathematics tex2mathA blazing fast, zero-copy LaTeX to MathML conversion library and CLI.170LGPL-3.0-onlyParsing toolsScience content-extractor-rlRL-based article extraction from HTML using Deep Q-Networks and heuristic fallback170MIT OR Apache-2.0ScienceText processing t4a-cubecl-coreTemporary tensor4all fork of CubeCL core170MIT OR Apache-2.0AlgorithmsMathematics kanaQuantum mechanics simulation — state vectors, operators, entanglement, quantum circuits169GPL-3.0-onlyScienceSimulation lance-namespace-datafusionLance namespace integration with Apache DataFusion catalogs and schemas169Apache-2.0Data structuresDatabase implementations cellbookDynamic computational notebook environment in plain Rust169MITCommand line utilitiesDevelopment tools oxide-rsAI Inference library and CLI in Rust - llama.cpp style169MITCommand line utilitiesScience zodiacalA blind astrometry plate-solving library169Apache-2.0Science shrew-irParser and IR for the .sw (Shrew) declarative model format169Apache-2.0MathematicsScience rustalign-fmindexUltrafast DNA sequence aligner using FM-index and Smith-Waterman169MITAlgorithmsScience numra-ddeDelay differential equation solvers for Numra: method of steps with embedded Runge-Kutta and Hermite history interpolation.169LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics lox-odmCCSDS Orbit Data Message (ODM) types and (de-)serialization for the Lox ecosystem169MPL-2.0AerospaceScience openszrawRust reader for Shimadzu LabSolutions mass spectrometry raw data (.qgd GC-MS, .lcd LC-MS IT-TOF/QTOF).169Apache-2.0Parser implementationsScience helioxideRust implementation of NREL Solar Position Algorithm (SPA)168MIT OR Apache-2.0MathematicsScience velociplotFast, publication-quality scientific plotting library - Quick, precise, and deadly effective168MITGraphicsScience mafft-typesPure Rust types for MAFFT multiple sequence alignment168MIT AND BSD-3-ClauseCommand line utilitiesScience reflow_asset_registryAsset registry client for Reflow — resolves content-addressed URIs and ML model manifests.168MIT OR Apache-2.0CachingData structures rlx-dinov2DINOv2 ViT encoder for RLX168GPL-3.0-onlyAlgorithmsScience rlx-sam3SAM 3 for RLX168GPL-3.0-onlyAlgorithmsScience shrew-dataData loading, datasets, and batching for Shrew168Apache-2.0MathematicsScience sqlitegisSQLiteGIS: PostGIS-style spatial functions for SQLite in pure Rust.168MIT OR Apache-2.0AlgorithmsAPI bindings rustalign-simdUltrafast DNA sequence aligner using FM-index and Smith-Waterman168MITAlgorithmsScience cognee-searchContext retrieval (search) over the cognee knowledge graph and vector store.168MIT OR Apache-2.0Database interfacesScience acpupure Rust driver for Apple Silicon CPU compute + AMX & NEON168LicenseRef-CyberHardware supportOperating systems::macOS APIs post-cortex-embeddingsEmbedding engines (Model2Vec static + BERT via Candle + static-hash fallback) and HNSW vector database for post-cortex.…168MITAlgorithmsData structures mimirs-agentTop-level facade for MimirsWell quantum-temporal memory subsystem168MPL-2.0AlgorithmsScience use-objectiveObjective direction and objective value helpers for primitive optimization168MIT OR Apache-2.0AlgorithmsMathematics rlx-cohereCohere Command-R runner — STUB (PLAN.md M4)167GPL-3.0-onlyAlgorithmsScience rlx-mistralMistral 3+ / Ministral runner — STUB (PLAN.md M4)167GPL-3.0-onlyAlgorithmsScience dreamwell-gatesDreamGate — high-throughput Weave validation, batching, and dispatch for Dreamwell.167Apache-2.0CryptographyGame engines cargo-cellbookCellbook project runner and command line utility167MITCommand line utilitiesDevelopment tools kizzasi-modelModel architectures for Kizzasi AGSP - Mamba, RWKV, S4, Transformer167Apache-2.0AlgorithmsScience polyphonImplementation of phonetic Polyphon algorithm167MITAlgorithmsScience numra-ideVolterra integro-differential equation solvers for Numra: general quadrature solver plus Prony-series fast path for exponential…167LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics hdbscan-rsHDBSCAN clustering algorithm, compatible with scikit-learn167MIT OR Apache-2.0AlgorithmsScience oxiphysics-constraintsConstraint solvers for the OxiPhysics engine167Apache-2.0AlgorithmsScience rlx-vulkanNative Vulkan compute backend for RLX (raw `ash` + embedded SPIR-V compute kernels)167GPL-3.0-onlyAlgorithmsCompilers cmac_rustCMAC (Cerebellar Model Articulation Controller) utilities for imputing missing floating-point values166MIT OR Apache-2.0AlgorithmsScience ternlang-testTest harness and assertion utilities for ternlang programs — BET-VM test runner, trit assertions, and golden-file diffing.166LGPL-3.0-or-laterCompilersScience use-polynomialSmall polynomial primitives and operations for RustUse166MIT OR Apache-2.0MathematicsScience cyanea-statsStatistical methods for the Cyanea bioinformatics ecosystem166MIT OR Apache-2.0MathematicsScience rlx-bonsaiBonsai small-reasoning runner — STUB (PLAN.md M4)166GPL-3.0-onlyAlgorithmsScience rustsim-coreCore ABM engine: agents, models, stores, schedulers, stepping, data collection166MITScienceSimulation merc_sabreImplements various term rewrite engines based on a set automaton matching construction.166BSL-1.0AlgorithmsData structures rust-igraphPure-Rust, high-performance graph & network analysis library — 1297 APIs, zero unsafe, igraph-compatible166GPL-2.0-or-laterAlgorithmsData structures neco-complexLightweight complex-number foundation for FFT and solver crates166MITAlgorithmsMathematics numra-integrateNumerical integration for Numra: adaptive Gauss-Kronrod, fixed Gauss-Legendre/Laguerre/Hermite, composite rules, double integrals.166LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics pvlib-rustA Rust port of pvlib-python: solar energy modeling toolkit166Apache-2.0ScienceSimulation quantize-rsNeural network quantization toolkit for ONNX models166MITCommand line utilitiesCompression oxigdal-noallocno_std, no_alloc fixed-size geometry primitives for OxiGDAL165Apache-2.0No standard libraryScience atomr-infer-python-bridgePython-resident GPU runtime wiring for atomr-infer. PythonGpuBridge + python-pinned dispatcher used by the vLLM and other…165Apache-2.0AsynchronousConcurrency lift-simLIFT-SIM: Static analysis engine — shape propagation, FLOP counting, memory analysis, noise simulation165MITCompilersScience rlx-omnicoderOmniCoder Qwen3-coder-shaped runner — STUB (PLAN.md M4)165GPL-3.0-onlyAlgorithmsScience logicfuzzy_academicPure-Rust Fuzzy Inference System (Mamdani + TSK) with PSO optimizer — zero external dependencies165MITAlgorithmsScience use-distanceSmall point-to-point distance helpers for RustUse geometry165MIT OR Apache-2.0MathematicsScience owl-dl-tableauTableau-based reasoning engine for SROIQ used by rustdl165Apache-2.0 OR MITData structuresScience openmassspec-ioVendor-neutral mass-spec I/O: feature-gated re-exports of opentfraw / opentimstdf / openwraw / openaraw / opensxraw / openszraw…165Apache-2.0EncodingScience ternlang-compressLLM-to-ternary compression pipeline — quantize float models to {-1,0,+1}, build sparse zero-index, export .tern files for…164LicenseRef-BSL-1.1AlgorithmsScience rssn-advancedThis is rssn-advanced: The next generation symbolic core of rssn.164Apache-2.0AlgorithmsData structures merc_lddImplements algorithms and I/O for list decision diagrams.164BSL-1.0Data structuresScience plotkitA matplotlib-shaped, publication-quality plotting library for Rust164MIT OR Apache-2.0Multimedia::ImagesScience cognee-cognifyKnowledge-graph extraction (cognify) — turn ingested data into a graph for cognee.164MIT OR Apache-2.0Database interfacesScience micro_traffic_simgRPC interface for microscopic traffic simulation via cellular automata164Apache-2.0API bindingsScience owl-dl-saturationConsequence-based saturation engine for the EL fragment, used by rustdl164Apache-2.0 OR MITData structuresScience rlx-nemoRLX — native loader for NVIDIA NeMo `.nemo` model files (tar + torch.save ckpt + YAML config).164GPL-3.0-onlyAlgorithmsCompilers zeph-sessionConversation-session persistence: append-only JSONL event log, replay, and fork engine164MIT OR Apache-2.0Command line utilitiesScience sqlite-knowledge-graphA Rust library for building and querying knowledge graphs using SQLite as the backend, with graph algorithms, vector search, and…163MITData structuresDatabase interfaces deep_causality_parShared parallelism primitives (MaybeParallel marker, scoped fork-join) for the deep_causality crates.163MITConcurrencyScience surge-bindingsSurge CLI integration crate for the Surge power flow solver163PolyForm-Noncommercial-1.0.0Command line utilitiesScience rsomics-coverage-coreGenome-binned BAM read-coverage primitive (deeptools countReadsPerBin port): per-bin read counts over a BGZF BAM via…163MIT OR Apache-2.0Science oxicuda-pinnPhysics-Informed Neural Networks for OxiCUDA: PINN losses, Neural ODEs/SDEs (adjoint method), Neural Operators…163Apache-2.0AlgorithmsScience fukurowFukurow - Unified Rust Reasoning & Knowledge Graph Stack. JSON-LD/RDF/OWL/SPARQL/GraphQL-LD based knowledge processing stack with…162MIT OR Apache-2.0API bindingsDatabase interfaces riesFind algebraic equations given their solution - Rust implementation162MITMathematicsScience rustsim-geometry2-D and 3-D geometric primitives and queries for rustsim (points, AABB, segments, rays, triangles, closest-point, raycast)162MITMathematicsScience csw-generateCode generation for the Categorical Semantics Workbench - generate type checkers and interpreters from derived type systems162MIT OR Apache-2.0CompilersDevelopment tools flow-gate-corePure-Rust implementation of the ISAC Gating-ML 2.0 gate evaluation engine — transforms, gates, and event matrices162MITAlgorithmsMathematics tnormsT-norm and t-conorm families162MIT OR Apache-2.0AlgorithmsMathematics xalen-westernWestern astrology computations — aspects, dignities, returns, progressions, Hellenistic162Apache-2.0MathematicsScience rlx-phiPhi 3 / Phi 4 runner on rlx-llama32 (partial RoPE, NeoX GGUF)162GPL-3.0-onlyAlgorithmsScience oxicuda-rlhfRLHF and alignment algorithm primitives for OxiCUDA — DPO, IPO, KTO, ORPO, SimPO, reward modelling, PPO-RLHF161Apache-2.0AlgorithmsScience oxicuda-sslSelf-supervised learning primitives for OxiCUDA: SimCLR, MoCo, BYOL, Barlow Twins, VICReg, MAE, SwAV, DINO — pure Rust, zero CUDA…161Apache-2.0AlgorithmsScience use-seedRepeatable seed helpers for primitive simulations161MIT OR Apache-2.0AlgorithmsScience openoutcryOpenOutcry — leak-free point-in-time trading-agent environment (a Gym for trading agents).161MIT OR Apache-2.0FinanceScience cognee-deleteDeletion and orphan-sweep operations for the cognee knowledge graph.161MIT OR Apache-2.0Database interfacesScience pulsehive-anthropicAnthropic Claude LLM provider for PulseHive161AGPL-3.0-onlyScienceWeb programming::HTTP client piscemFast, space-efficient k-mer-based read mapper for bulk RNA-seq, scRNA-seq, and scATAC-seq161BSD-3-ClauseCommand line utilitiesScience oxicuda-annApproximate Nearest Neighbor & vector-search primitives for OxiCUDA — HNSW, IVF, Product Quantization, IVFPQ, LSH, k-NN graph,…161Apache-2.0AlgorithmsScience scitadel-exportBibTeX, JSON, and CSV exporters for scitadel search results.160MIT OR Apache-2.0Command line utilitiesScience ultralytics-template-rustUltralytics Rust project template showcasing a minimal library and binary layout.160AGPL-3.0-or-laterComputer visionDevelopment tools relayrl_algorithmsIndependent / Multi-Agent Proximal Policy Optimization (PPO) Algorithms for the RelayRL framework160Apache-2.0AlgorithmsArtificial intelligence denoizePure-Rust audio denoiser with classical DSP and optional RNNoise160MITMultimedia::AudioScience scematica-aiAI agent layer for Scematica — risk scoring, strategy tuning, arb evaluation, reporting160MITCryptography::CryptocurrenciesScience oxicuda-visionVision Transformer & CLIP primitives for OxiCUDA: ViT patch embedding, multi-head self-attention, CLIP contrastive learning, FPN,…159Apache-2.0AlgorithmsScience rscm-magiccMAGICC components for RSCM159Apache-2.0Science sankhyasankhya — Ancient mathematical systems, historical calendars, and archaeoastronomy: 10+ calendar systems, 8 civilizations of…159GPL-3.0-onlyMathematicsScience praat-sysLow-level Rust bindings for the Praat159GPL-3.0-or-laterMultimedia::AudioScience polarisdbPolarisDB - an embedded vector database for local AI and RAG workloads159MIT OR Apache-2.0Data structuresDatabase interfaces taco-smt-model-checkerModel Checker encoding threshold automaton and a property into a single SMT query. This model checker is part of the TACO…159non-standardScience use-atomic-massAverage atomic mass helpers for RustUse chemistry crates159MIT OR Apache-2.0Data structuresScience oxicuda-anomalyAnomaly detection primitives for OxiCUDA — DeepSVDD, AE/VAE reconstruction, LOF, COPOD, isolation scoring, statistical methods,…159Apache-2.0AlgorithmsScience pulsehiveShared Consciousness SDK for Multi-Agent AI Systems159AGPL-3.0-onlyAsynchronousScience propaga-propagatorsBuilt-in propagators for the Propaga constraint solver159MIT OR Apache-2.0AlgorithmsScience oxicuda-tabularTabular deep learning primitives for OxiCUDA — TabNet, FT-Transformer, SAINT, NODE, sparsemax, quantile normalization158Apache-2.0AlgorithmsScience rscm-two-layerTwo-layer climate model component for RSCM158Apache-2.0Science retrolang-mathMathematical expression parser and evaluator for RetroLang (based on asciimath by chmln)158MITParsing toolsScience cognee-observabilityOpenTelemetry tracing and metrics integration for the cognee pipeline.158MIT OR Apache-2.0Database interfacesScience attuned-inferFast, transparent inference of human state axes from natural language158Apache-2.0ScienceText processing arael-sketch-backendHeadless backend for arael-sketch: commands, actions, history, MCP server158MITMathematicsScience cita-coreLocator parsing and identifier normalization for Cita158MITCommand line utilitiesScience use-lineSmall 2D line primitives for RustUse geometry158MIT OR Apache-2.0MathematicsScience sharpebench-edgeBacktest-honesty verdict over sharpebench-stats: is this Sharpe real, or an artifact of luck and multiple testing? PSR / deflated…158MIT OR Apache-2.0FinanceScience guardrail-coreCore types, pipeline, and stage trait for guardrail-rs158Apache-2.0 OR MITNetwork programmingScience swephSafe, thread-safe Rust API for the Swiss Ephemeris: planets, houses, eclipses, sidereal zodiac158AGPL-3.0-onlyScience astrodynGateway to the astrodyn orbital-dynamics framework — a pure-Rust, engine-agnostic port of NASA JEOD (spherical-harmonics gravity,…157MIT OR Apache-2.0AerospaceScience tsaiTime series deep learning in Rust - a feature-parity port of Python tsai157Apache-2.0Science rlx-distributedMulti-node distributed inference (pipeline / tensor parallel) for RLX models157GPL-3.0-onlyAlgorithmsScience arrow-ml-commonShared error types and runtime backend plugin registry for arrow-ml.157Apache-2.0MathematicsScience taco-acs-model-checkerModel Checker constructing an abstract counter system to verify threshold automata. This model checker is part of the TACO…157non-standardScience taco-zcs-model-checkerModel Checker constructing an abstract counter system encoded into BDDs to verify threshold automata. This model checker is part…157non-standardScience engram-agentReusable LLM agent loop with tool-calling and lifecycle hooks157MITDatabase interfacesScience stateset-nsrNeuro-Symbolic Reasoning (NSR) framework for hybrid AI systems combining neural networks with symbolic logic157BUSL-1.1AlgorithmsData structures oxicuda-recsysRecommender-system primitives for OxiCUDA — ALS/BPR/NMF, NCF, Two-Tower, DeepFM/AutoInt, SASRec/BERT4Rec, LightGCN/NGCF,…157Apache-2.0AlgorithmsScience czsc-signalsQuantitative signal functions of the czsc framework (most users should depend on the `czsc` facade instead):…157MITFinanceMathematics