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.

zinchiA compact binary representation for InChI Keys, reducing their size from 27 bytes to 9-14 bytes580MITCompressionEncoding amari-functionalFunctional analysis on multivector spaces - Hilbert spaces, linear operators, and spectral theory580MIT OR Apache-2.0MathematicsScience math-waveAnalytical solutions for wave and Helmholtz equations579GPL-3.0-or-laterMathematicsScience brightdateUniversal Decimal Time System anchored at J2000.0 — a scientifically grounded, timezone-free time representation579MITDate and timeScience darn-dmapSuperDARN DMAP file format I/O579LGPL-3.0-or-laterParser implementationsScience kira-shared-sc-cacheShared deterministic binary cache reader/writer for Kira single-cell pipelines (kira-organelle.bin and expr.bin).578MITAlgorithmsCommand line utilities plotive-svgSVG rendering library for plotive577MITGraphicsScience plotive-pxlRasterized rendering library for plotive577MITGraphicsScience zlearnA simple neural network implementation library in Rust576MITScience clock-randNext-generation random number generation with blockchain-aware RNGs, fork detection, and cryptographic security575MIT OR Apache-2.0AlgorithmsCryptography yscv-videoVideo decoding (H.264, HEVC), MP4 parsing, and camera I/O574MIT OR Apache-2.0AlgorithmsComputer vision ferrotorchPyTorch in Rust — deep learning framework built on ferray573MIT OR Apache-2.0AlgorithmsMathematics torsh-distributedDistributed training and inference for ToRSh573Apache-2.0ConcurrencyScience cartan-optimRiemannian optimization algorithms for cartan: Riemannian gradient descent, conjugate gradient, trust region573MITAlgorithmsMathematics nano-consciousnessHigh-performance consciousness-inspired AI framework with nanosecond scheduling and temporal processing571MIT OR Apache-2.0AlgorithmsEmbedded development bambamThe Behavior and Advanced Mobility Big Access Model571BSD-3-ClauseCommand line utilitiesScience sci-find-peaksA Rust port of SciPy's find_peaks function, designed to match SciPy's behavior exactly.570MITAlgorithmsMathematics kizzasi-coreCore SSM (State Space Model) engine for Kizzasi AGSP570Apache-2.0AlgorithmsScience amari-cgtComputational combinatorial game theory for the Amari library570MIT OR Apache-2.0AlgorithmsMathematics kowalski-cliKowalski CLI Interface: A Rust-based agent for interacting with Ollama models569MITNetwork programmingScience minillmA mini inference engine for running transformer language models567MITAlgorithmsScience taco-model-checkerModel Checker interface and specification definitions for model checkers that are part of the TACO toolsuite.567non-standardScience seiza-imgprocPure-Rust image processing primitives with OpenCV-compatible semantics: Gaussian/median blur, Canny, Otsu, binary morphology,…567Apache-2.0Computer visionScience dicom-toolkit-imageDICOM image processing: pixel data, window/level, LUTs, color models, export565MIT OR Apache-2.0EncodingParser implementations boostrML framework built on numr - attention, quantization, model architectures565Apache-2.0MathematicsScience hdl-cat-macros#[kernel] attribute macro for lifting Rust functions into hdl-cat IR565MIT OR Apache-2.0Hardware supportScience dynamic_expressionsFast batched evaluation + forward-mode derivatives for symbolic expressions (Rust port of DynamicExpressions.jl).564Apache-2.0AlgorithmsMathematics rscm-macrosProcedural macros for RSCM component development564Apache-2.0Science torsh-fxGraph-based model representation and transformation for ToRSh563Apache-2.0AlgorithmsScience wsiUniversal WSI parsing crate (WIP)562MIT OR Apache-2.0Parser implementationsScience hdl-cat-signalClock-domain-indexed signal type over comp-cat-rs Stream562MIT OR Apache-2.0Hardware supportScience numra-linalgLinear algebra abstractions for Numra: dense and sparse matrices, LU/QR/Cholesky/SVD, iterative solvers (CG, GMRES, BiCGSTAB).562LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsData structures sklears-svmSupport Vector Machines for sklears: SVC, SVR with various kernels562Apache-2.0AlgorithmsMathematics yscv-kernelsCPU and GPU compute backends with SIMD dispatch and BLAS integration561MIT OR Apache-2.0AlgorithmsComputer vision gdockInformation-driven protein-protein docking using a genetic algorithm5610BSDAlgorithmsCommand line utilities sophyA lightweight, efficient mathematical library for numerical methods, functions, and utilities in pure Rust560MIT OR Apache-2.0AlgorithmsMathematics oxihuman-morphParametric morphology engine for human body generation — targets, blendshapes, FACS560Apache-2.0AlgorithmsScience hdl-cat-stdStandard component library for hdl-cat560MIT OR Apache-2.0Hardware supportScience fp-exprExpression evaluation / query parser for fp-frame DataFrames — pandas df.eval / df.query parity.560non-standardData structuresScience datui-cliShared CLI definitions for datui (Args, CompressionFormat)559MITCommand line utilitiesScience fp-groupbyGroupBy engine for fp-frame with dense-key / arena-backed / hash-map execution paths.559non-standardData structuresScience sklears-mixtureGaussian mixture models559Apache-2.0MathematicsScience rusty-dnaNormalize consumer DNA genotype exports into structured SNP data via provider-specific parsers.558MITScienceScience::Bioinformatics axolotl-rsYAML-driven configurable fine-tuning toolkit for LLMs in Rust with VSA acceleration558MITCommand line utilitiesScience sklears-manifoldManifold learning algorithms (t-SNE, Isomap, etc.)558Apache-2.0MathematicsScience cronchReserved crate name for the Cronch project.557MITDevelopment toolsScience rust-fuzzylogicBuilding blocks for authoring fuzzy inference systems in Rust.555MIT OR Apache-2.0AlgorithmsScience flexfloatA Rust library for arbitrary-precision floating-point arithmetic with growable exponents and fixed-size fractions, extending IEEE…555MITData structuresFinance rsomics-intervalsBED algebra + interval index + GFF/GTF interval extraction for the rsomics-* tool family. Layer A primitive.555MIT OR Apache-2.0Science langchainrustA LangChain-inspired framework for building LLM applications in Rust. Supports OpenAI, Agents, Tools, Memory, Chains, RAG, BM25,…554MIT OR Apache-2.0AlgorithmsAPI bindings phago-agentsReference agent implementations using Phago biological primitives554MITAlgorithmsData structures mathengine-evaluatorType-safe evaluation engine for mathematical expressions with comprehensive unit conversion554MIT OR Apache-2.0MathematicsParsing tools sklears-calibrationProbability calibration for classifiers553Apache-2.0MathematicsScience sklears-composeComposite estimators and transformers553Apache-2.0MathematicsScience sklears-imputeMissing value imputation strategies553Apache-2.0MathematicsScience cadcore-opsGeometric operations for the cadcore CAD kernel - O(N) filament sweep, analytic B-Rep construction without Boolean ops553MITScience axonml-profileProfiling tools for the Axonml ML framework552MIT OR Apache-2.0Development tools::ProfilingScience zeph-agent-feedbackImplicit correction detection for the Zeph agent: regex-based and LLM-backed detectors552MIT OR Apache-2.0Command line utilitiesScience atomr-agents-retrieverRetriever zoo: Vector, BM25, MultiQuery, ContextualCompression, ParentDocument, Ensemble-RRF, SelfQuery, EmbeddingsFilter,…552Apache-2.0AsynchronousScience flow-plotsPackage for drawing and interacting with plots in flow cytometry data551MITScienceVisualization sklears-multiclassMulticlass classification strategies551Apache-2.0MathematicsScience zeph-agent-toolsDoom-loop detection utilities for the Zeph agent tool dispatch loop.551MIT OR Apache-2.0Command line utilitiesScience hyperprecf128, f256, f512 in Rust — software-emulated extended precision via double-double and multi-limb arithmetic for ill-conditioned…550MITMathematicsNo standard library::No dynamic allocation qcs-sdk-pythonPython bindings to qcs-sdk-rust550Apache-2.0API bindingsCompilers murk-propagatorPropagator trait and step context for Murk simulations549MITGame developmentScience nahpu_apiAn CLI and API client for NAHPU scientific specimen cataloging application.549MITCommand line utilitiesScience sklears-feature-selectionFeature selection algorithms for sklears - scikit-learn compatible ML in Rust548Apache-2.0MathematicsScience copc-readerPure-Rust COPC reader with public hierarchy access548MIT OR Apache-2.0Parser implementationsScience do-memory-coreCore episodic learning system for AI agents with pattern extraction, reward scoring, and dual storage backend547MITDatabase interfacesDevelopment tools use-coordinateCoordinate primitives for the RustUse geometry workspace547MIT OR Apache-2.0MathematicsScience nahpu_configsA utility crate for managing user configuration and document presets for NAHPU.547MITDatabase implementationsScience sklears-inspectionModel inspection and interpretation tools547Apache-2.0MathematicsScience fynchDifferentiable sorting and ranking547MIT OR Apache-2.0AlgorithmsMathematics sklears-feature-extractionFeature extraction from raw data (text, images)547Apache-2.0MathematicsScience relib-commonShared primitives and traits for the relib decision-diagram crates (the Rust reliability-analysis engine behind the relibmss…547MITData structuresScience netcdf-coreShared NetCDF data model, format constants, and validation helpers546MIT OR Apache-2.0EncodingParser implementations tdaTopological Data Analysis for neural networks - persistent homology and topological features546MIT OR Apache-2.0AlgorithmsScience surge-ioSurge I/O — Parser/writer for MATPOWER, PSS/E RAW, IEEE CDF, XIIDM, UCTE, and JSON case formats546PolyForm-Noncommercial-1.0.0Parser implementationsScience sklears-covarianceCovariance estimation algorithms546Apache-2.0MathematicsScience sklears-isotonicIsotonic regression546Apache-2.0MathematicsScience nc2parquetHigh-performance NetCDF to Parquet converter with cloud storage support545MITCommand line utilitiesData structures xportrsCDISC-compliant XPT file generation and parsing library for Rust545MITEncodingParser implementations sklears-multioutputMulti-output regression and classification545Apache-2.0MathematicsScience sklears-semi-supervisedSemi-supervised learning algorithms544Apache-2.0MathematicsScience sklears-cross-decompositionCross decomposition algorithms (PLS, CCA)544Apache-2.0MathematicsScience oaxaca_blinderA Rust library for performing Oaxaca-Blinder decomposition on Polars DataFrames, with support for categorical variables and…543MITScience infmachine_examplesExamples for the Infinite Machine.543Apache-2.0MathematicsScience math-dspDSP utilities: signal generation, FFT analysis, and audio analysis tools542ISCMultimedia::AudioScience thevenin-xspiceXSPICE code model framework for thevenin circuit simulator542BSD-3-ClauseScienceSimulation sklears-dummyDummy estimators for baseline comparisons540Apache-2.0MathematicsScience sklears-discriminant-analysisLinear and Quadratic Discriminant Analysis540Apache-2.0MathematicsScience zeta-inferenceUnified inference runtime for high-performance LLM execution539MIT OR Apache-2.0AsynchronousConcurrency steegformerST-EEGFormer EEG Foundation Model — inference in Rust with Burn ML539Apache-2.0MathematicsScience lazy_simdTrait based SIMD acceleration and safe abstraction539MITData structuresMathematics tl-packagePackage manager for ThinkingLanguage539Apache-2.0CompilersDevelopment tools dslcompileHigh-performance symbolic mathematics with final tagless design, egglog optimization, and Rust hot-loading compilation538AGPL-3.0-or-laterCompilersMathematics trotter_qsimSparse, persistent XXZ quantum simulator using second-order Trotter decomposition with optional GPU acceleration.538MITScienceSimulation vela-scientistVela agent layer: scoped scientific tasks (Literature Scout, Notes Compiler, Code Analyst, …) that emit signed proposals into a…538Apache-2.0 OR MITCommand line utilitiesScience oxirs-geosparqlGeoSPARQL implementation for spatial data and queries537Apache-2.0AlgorithmsData structures facecrabAsset management and model downloading for rusty-genius536MITAlgorithmsAsynchronous rusty-genius-cortexInference engine interaction layer for rusty-genius536MITAlgorithmsAsynchronous quantwave-polarsA high-performance, Polars-native technical analysis library for Rust.536MITMathematicsScience chartlabA powerful Rust visualization library535MIT OR Apache-2.0ScienceVisualization rsomics-pgenPLINK1 .bed / .bim / .fam genotype-matrix reader + writer for the rsomics-* tool family. Layer A primitive.535MIT OR Apache-2.0Science paulingA pure Rust library for canonical resonance structure identification in molecules.534MITScience tl-streamStreaming and pipeline engine for ThinkingLanguage (Phase 4)534Apache-2.0CompilersDevelopment tools fiffPure Rust implementation of the FIFF (Functional Imaging File Format) parser for MEG/EEG data533MIT OR Apache-2.0Parser implementationsScience varpulis-hamletShared online trend aggregation for streaming event detection — SIGMOD 2021 graphlet-sharing algorithm. Part of the Varpulis…533MIT OR Apache-2.0AlgorithmsData structures lift-coreLIFT-CORE: SSA IR foundation — types, values, operations, blocks, regions, verifier533MITCompilersScience dcm-dumpA minimal Rust crate + CLI to dump DICOM tags byte-by-byte533MIT OR Apache-2.0Command line utilitiesScience inception-macrosMacros for Inception533MITScience anomalyx-coreanomalyx contract core: typed record model, anomaly taxonomy, deterministic reductions, and the tq1 output envelope531MIT OR Apache-2.0MathematicsScience tl-langA differentiable programming language with tensor support for machine learning531MITCompilersMathematics cadcore-stepPure-Rust STEP AP203 writer for the cadcore CAD kernel - exact analytic surface entities, no OCCT dependency531MITEncodingScience zeph-agent-contextAgent context-assembly service for Zeph: system prompt rebuild, memory injection, summarization, compaction.531MIT OR Apache-2.0Command line utilitiesScience finlib-taTechnical analysis library. Implements number of indicators: EMA, SMA, RSI, MACD, Stochastic, etc.530MITAlgorithmsFinance surge-dcSurge DC — DC power flow solver (linear approximation, B-theta formulation)530PolyForm-Noncommercial-1.0.0AlgorithmsScience ceraRust-native LLM inference engine530Apache-2.0 OR MITAlgorithmsScience tl-dataData engine for ThinkingLanguage — DataFusion, connectors, I/O529Apache-2.0CompilersDevelopment tools amari-topologyTopological tools for geometric structures - homology, persistent homology, Morse theory, and manifold analysis529MIT OR Apache-2.0AlgorithmsMathematics eindir-coreTyped primitives for ND objective functions and bounded sampling.528MITMathematicsScience varpulis-sasePattern matching engine for streaming event detection — Kleene closures, negation, temporal sequences, NFA-based. Part of the…527MIT OR Apache-2.0AlgorithmsData structures tl-irIntermediate Representation for ThinkingLanguage table pipe optimization527Apache-2.0CompilersDevelopment tools veritas-nexusAdvanced multi-modal lie detection system with explainable AI, featuring text, vision, audio, and physiological analysis with…526MIT OR Apache-2.0AlgorithmsScience fosr-ebpfAn eBPF program used by Fos-R.526MIT OR Apache-2.0Network programmingScience doiget-coreCore library: Source/Store traits, CapabilityProfile, safekey, provenance log525MITCommand line utilitiesScience surge-hvdcHVDC power flow: LCC and VSC converters, multi-terminal DC (MTDC)525PolyForm-Noncommercial-1.0.0AlgorithmsScience miniseed-rsPure Rust miniSEED v2 and v3 decoder and encoder525Apache-2.0EncodingParser implementations ultrafast-mcp-sequential-thinkingHigh-performance Rust-based MCP server and client for sequential thinking524MITAPI bindingsDevelopment tools stalmarck-satRust-based SAT Solver based on the Stålmarck Procedure523MITAlgorithmsScience ytls-traitsyolox TLS traits523Apache-2.0/MITScience graphrag-coreCore portable library for GraphRAG - works on native and WASM523MITAlgorithmsScience infmachine_execThe Infinite Machine Executor and Debugger.522Apache-2.0MathematicsScience unitrixDEPRECATED: Use 'physunits' instead522MIT OR Apache-2.0No standard libraryScience varpulis-pstProbabilistic Suffix Tree for real-time streaming event forecasting and sequence prediction. Part of the Varpulis stream…522MIT OR Apache-2.0AlgorithmsData structures bustools_algorithmsRust reimplementation of bustools for scRNAseq processing522 GPL-3.0-or-laterScience veks-ioStandalone vector data I/O — read and write fvec, ivec, mvec, dvec, bvec, svec, npy, parquet, and slab formats521Apache-2.0EncodingFilesystem baracuda-ozimmu-sysBuild + raw FFI bindings to baracuda's clean-fork of Hiroyuki Ootomo's ozIMMU — the Ozaki-scheme FP64 GEMM library that…520MIT OR Apache-2.0External FFI bindingsScience adk-actionShared action node types for ADK-Rust graph workflows519Apache-2.0AsynchronousScience rlx-tensorNative ndarray alternative for RLX — NumPy-style tensors that trace, fuse, and run on any backend via the rlx compiler519GPL-3.0-onlyAlgorithmsCompilers deep_causality_physicsStandard library of physics formulas and engineering primitives for DeepCausality.518MITScienceSimulation rust-ai-coreUnified AI engineering toolkit: orchestrates peft-rs, qlora-rs, unsloth-rs, axolotl-rs, bitnet-quantize, trit-vsa, vsa-optim-rs,…518MITDevelopment toolsMathematics qatqExact tensor-aware compression for LLM KV caches and runtime migration518Apache-2.0CompressionScience tensorlogic-quantrs-hooksProbabilistic graphical model and message-passing interoperability for QuantRS2517Apache-2.0AlgorithmsScience tensorlogic-trainTraining loops, loss composition, and optimization schedules for TensorLogic517Apache-2.0AlgorithmsMathematics polyfitBecause you don't need to be able to build a powerdrill to use one safely517MITAlgorithmsData structures kimiyaKimiya — chemistry engine for elements, molecules, reactions, kinetics, and thermochemistry517GPL-3.0-onlyScienceSimulation cp2k-rsRust bindings for CP2K with Python interface517GPL-2.0-or-laterAPI bindingsScience neuro-divergentHigh-performance neural forecasting library providing 100% compatibility with NeuralForecast Python API, built on ruv-FANN…516MIT OR Apache-2.0AlgorithmsMathematics amari-surrealComputable surreal numbers for the Amari library516MIT OR Apache-2.0AlgorithmsMathematics rscm-coreCore traits and functionalities for the creation of reduced-complexity climate models515Apache-2.0Science oxicuda-randOxiCUDA Rand - GPU-accelerated random number generation (cuRAND equivalent)515Apache-2.0AlgorithmsHardware support nereids-endfENDF file retrieval, caching, and resonance parameter parsing514MITScience tensorlogic-sklears-kernelsLogic-derived similarity kernels for SkleaRS integration513Apache-2.0AlgorithmsMathematics tensorlogic-trustformersTransformer-as-rules: Self-attention and FFN layers as einsum expressions513Apache-2.0AlgorithmsMathematics rlx-tpuGoogle TPU backend — drives libtpu's PJRT plugin from Rust.513GPL-3.0-onlyAlgorithmsCompilers ferrolearn-model-selModel selection utilities for the ferrolearn ML framework512MIT OR Apache-2.0AlgorithmsScience nabledA linear algebra library written in Rust with an ndarray-first architecture.512MIT OR Apache-2.0AlgorithmsMathematics oxicuda-metalOxiCUDA Metal - GPU compute via Apple Metal API (macOS only)510Apache-2.0Hardware supportMathematics pmetal-mergeModel merging toolkit for PMetal - SLERP, TIES, DARE, and more510MIT OR Apache-2.0AlgorithmsScience blueprintStatic state machine / protocol blueprints509Apache-2.0/MITScience vela-constellationVela Constellation layer: a network of connected Atlases across scientific domains. The sixteenth Carina primitive (v0.5).…509Apache-2.0 OR MITScience biors-mcp-serverModel Context Protocol server for bio-rs biological sequence processing tools.509MIT OR Apache-2.0Command line utilitiesScience dreamwell-attentionDreamwell attention algorithms — causal attention, spatial attention, observer attention, wave coherence, decoherence services,…508Apache-2.0CryptographyGame engines merc_ltsImplements labelled transition systems for various I/O formats using a general LTS trait.508BSL-1.0Data structuresScience celestial-coordsAstronomical coordinate transformations508MIT OR Apache-2.0Science gooding-lambertGooding's method for solving Lambert's orbital boundary-value problem507MITScience mecab-ko-core한국어 형태소 분석 핵심 엔진 - Lattice, Viterbi, 토크나이저507MIT OR Apache-2.0ScienceText processing moenarch-audio-analysis-ioAudio input helpers and FFmpeg-backed source conveniences for video-analysis.506MIT OR Apache-2.0AlgorithmsComputer vision chematic-mcpMCP (Model Context Protocol) server for chematic — AI-agent-ready cheminformatics tools506MIT OR Apache-2.0Command line utilitiesScience tensorlogic-oxirs-bridgeRDF/GraphQL/SHACL integration and provenance tracking for TensorLogic505Apache-2.0AlgorithmsData structures rustpix-coreCore traits and types for rustpix pixel detector processing505MITData structuresScience lox-analysisMission analysis tools for the Lox ecosystem505MPL-2.0AerospaceScience integral-mathShared numerical primitives for the integral crate: Boys function, Rys roots/weights, GTO normalization.505Apache-2.0 OR MITMathematicsScience pramanapramana — Statistics and probability: distributions, Bayesian inference, hypothesis testing, Monte Carlo, Markov chains505GPL-3.0-onlyMathematicsScience qudit-exprAccelerated and Extensible Quantum Library504BSD-3-ClauseCompilersData structures octopusA fast, flexible framework for multi-armed bandit strategies in Rust.504MITAlgorithmsData structures oxihuman-meshMesh processing, topology, and geometry algorithms for OxiHuman502Apache-2.0AlgorithmsRendering trustformers-optimOptimizers for TrustformeRS502Apache-2.0AlgorithmsScience hw-linuxA crate to get system information for linux.500MITAPI bindingsScience reputation-coreCore calculation engine for the KnowThat Reputation System with advanced scoring algorithms500MIT OR Apache-2.0AlgorithmsMathematics heytingComplex logical query answering over knowledge graph embeddings500MIT OR Apache-2.0AlgorithmsScience ditdahHigh-performance Morse code decoder with 100% test suite accuracy499MITMultimedia::AudioScience timevalueCompute present and future value of money for single sum and annuity (ordinary and due) using idiomatic Rust.499MITFinanceMathematics flowstatsCollection of stream analytics algorithms: cardinality, quantiles, frequency, sampling, and more498MIT OR Apache-2.0AlgorithmsData structures sc_neurocore_engineHigh-performance SIMD backend for SC-NeuroCore stochastic neuromorphic computing498AGPL-3.0-or-laterMathematicsScience ferrolearn-preprocessPreprocessing transformers for the ferrolearn ML framework498MIT OR Apache-2.0AlgorithmsScience cognitionA cognitive computing library for Rust497MIT OR Apache-2.0AlgorithmsScience fastga-rsRust bindings for FastGA genome aligner with extended CIGAR support497MITAPI bindingsScience latxLattices, reciprocal lattices, periodic-image enumeration, and k-point meshes for periodic electronic-structure calculations.497MIT OR Apache-2.0MathematicsScience nodedb-vectorShared vector engine (HNSW index + distance functions) for NodeDB Origin and Lite495Apache-2.0AlgorithmsScience ferrolearn-linearLinear models for the ferrolearn ML framework495MIT OR Apache-2.0AlgorithmsScience blewmBlewm: A Bloom Filter that Bloo(m) my Mind494MITAlgorithmsConcurrency captSIMD-accelerated nearest-neighbors for point cloud collision checking494Apache-2.0AlgorithmsNo standard library moritzbrantner-numbers-coreDeterministic scalar numeric summaries, quantiles, ranges, and histograms for video-analysis.494MIT OR Apache-2.0AlgorithmsComputer vision shrew-coreCore tensor, dtype, shape, layout, backend traits, and autograd for Shrew493Apache-2.0MathematicsScience ai00-memAI00-MEM: A high-performance memory system for AI applications with advanced RAG capabilities, vector-graph hybrid storage, and…492MIT OR Apache-2.0AlgorithmsDatabase interfaces phantomlinkphantomlink looks like a multi-hop Internet path, but emulates a virtual end-to-end link492MIT OR Apache-2.0Aerospace::Aerospace simulationsCommand line utilities fugue-pplMonadic PPL with numerically stable inference and comprehensive diagnostics.492MITMathematicsScience i-mlearningA modular learning crate for building and training neural networks, focused on symbolic reasoning and data introspection.491MITAlgorithmsDevelopment tools