Simulation 1,973 crates

ferromotion-clothDifferentiable FEM thin-shell cloth (StVK membrane + bending) for physical AI. WASM-clean.468MIT OR Apache-2.0MathematicsScience::Robotics murk-obsObservation specification and extraction for Murk simulations468MITGame developmentScience character-traitsA Rust library for defining and manipulating character traits in simulations and games with dynamic and complex interactions.468MITAlgorithmsData structures mastishkMastishk — computational neuroscience: neurotransmitters, neural circuits, sleep stages, HPA axis, default mode network462GPL-3.0-onlyScienceSimulation kshanaOpen, reproducible PNT-resilience simulator with quantum-sensor performance models461AGPL-3.0-onlyScienceSimulation parrot-rngA lightweight, strictly deterministic procedural generation library for Rust456MIT OR Apache-2.0 OR GPL-3.0-only OR LGPL-3.0-onlyAlgorithmsGame development nostradamus-coreNostradamus: constellation simulation and prediction447AGPL-3.0-or-laterScienceSimulation f1-nexus-strategyNext-generation Formula 1 strategy optimization platform with AI-powered race simulation446MIT OR Apache-2.0AlgorithmsScience gmt_dos-clients_optics-stateGMT M1 & M2 Optical State442MITScienceSimulation bodhBodh — psychology engine for cognition, perception, learning, and decision-making439GPL-3.0-onlyScienceSimulation mabi-cliMabinogion - Protocol resilience CLI for Imugi and Trials439Apache-2.0Command line utilitiesSimulation jivanuJivanu — microbiology engine for growth kinetics, metabolism, genetics, and epidemiology438GPL-3.0-onlyScienceSimulation qvm-schedulerHigh-performance quantum circuit scheduler for multi-job quantum computing with OpenQASM 3436MITAlgorithmsScience fmi-export-deriveProc-macro support for fmi-export435MIT OR Apache-2.0ScienceSimulation ferromotion-tactileDifferentiable optical-tactile (GelSight/DIGIT) sensor simulation — gel deformation → photometric image. WASM-clean.435MIT OR Apache-2.0MathematicsScience::Robotics language-zoosemiotic-symbolic-root-fireSkill tree crate for the language-zoosemiotic-symbolic-root-fire system.433GPL-3.0-onlySimulation math-bemHigh-performance Boundary Element Method library for acoustic scattering433GPL-3.0-or-laterMathematicsScience nautilus-deribitDeribit exchange integration adapter for the Nautilus trading engine433LGPL-3.0-or-laterAsynchronousFinance ferromotion-rodDifferentiable Discrete Elastic Rods for cables, tendons, and continuum/soft robots. WASM-clean.430MIT OR Apache-2.0MathematicsScience::Robotics dreamwell-gpuDreamwell shared GPU infrastructure — wgpu pipelines, compute, ray tracing, mesh shaders, particles, sprites, procedural…427Apache-2.0CryptographyGame engines ruqu-coreHigh-performance quantum circuit simulator in pure Rust - state-vector simulation with SIMD acceleration, noise models, and…412MITAlgorithmsScience i-chingI Ching divination readings for CLI and Goose extension411MITCommand line utilitiesDevelopment tools gymnasiaOpenAI Gymnasium environments in pure Rust411Apache-2.0AlgorithmsScience stratneo-nautilus-persistence-macrosProcedural macros for custom data types (e.g. #[custom_data])405LGPL-3.0-or-laterAsynchronousFinance atelier_quantQuantitative Finance Tools & Models for the atelier-rs engine405Apache-2.0Data structuresDevelopment tools dscaleA fast & deterministic simulation framework for benchmarking and testing distributed systems404GPL-3.0-or-laterDevelopment tools::TestingNetwork programming stochastic-rs-quantQuantitative finance: pricing, calibration, vol surfaces, instruments.402MITFinanceMathematics mjcf-rsPure-Rust parser for the MuJoCo MJCF XML format.400Apache-2.0Parser implementationsScience nautilus-sandboxSandbox execution adapter for the Nautilus trading engine400LGPL-3.0-or-laterAsynchronousFinance supasimA compute-oriented GPU usage library399GPL-3.0ScienceSimulation stratneo-nautilus-persistenceData persistence and storage for the Nautilus trading engine397LGPL-3.0-or-laterAsynchronousFinance swarm-engine-llmLLM integration backends for SwarmEngine396MITScienceSimulation claw-branchFork, simulate, and merge engine for ClawDB agents.395Apache-2.0Database interfacesSimulation dynamiqA Rust library for simulating dynamical systems using neural networks392Apache-2.0Data structuresScience murk-engineSimulation engine orchestrating Murk environments391MITGame developmentScience moltrunHigh-performance game engine library with AI capabilities, built on wgpu for modern 3D graphics and physics simulation391MIT OR Apache-2.0AlgorithmsGame engines feagiFramework for Evolutionary Artificial General Intelligence - Bio-Inspired Neural Computation383Apache-2.0ScienceSimulation chull-adaptProvides collision detection ability377non-standardSimulation oxihuman-physicsPhysics simulation for OxiHuman — soft body, capsule colliders, porous flow377Apache-2.0MathematicsScience bijliElectromagnetism simulation — fields, Maxwell's equations, charge dynamics, EM waves377GPL-3.0-onlyScienceSimulation bevy_symbiosBevy integration for the Symbios L-System ecosystem.372MITGame developmentMathematics stratneo-nautilus-networkNetwork communication machinery for the Nautilus trading engine368LGPL-3.0-or-laterAsynchronousFinance numra-odeODE and DAE solvers for Numra: DoPri5, Tsit5, Verner 6/7/8, Radau5, ESDIRK 3/4/5, BDF, plus forward sensitivity analysis.367LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics market-data-sourceHigh-performance synthetic market data generator with financial precision. Generate unlimited OHLC candles, tick data, and…365MITAPI bindingsFinance opencctUtilities for Call Center simulation and optimal staffing.363MIT OR Apache-2.0AlgorithmsMathematics symbios-shapeA derivation engine for CGA Shape Grammars.361MITGame developmentMathematics bench-sdk🛠️ The SDK for building AI-powered engineering automation360MITAPI bindingsDevelopment tools symbios-neatNEAT engine for morphogenetic engineering with CPPN support359MITAlgorithmsScience bench-ai🚀 Accelerating engineering workflows at the speed of thought359MITDevelopment toolsScience fmi-exportFMU export support for FMI 3.0356MIT OR Apache-2.0ScienceSimulation pflow-tokenmodelToken model schema, snapshot, and runtime execution356MITData structuresSimulation nautilus-krakenKraken Pro exchange integration adapter for the Nautilus trading engine356LGPL-3.0-or-laterAsynchronousFinance smc_scan_coreCore module for the Scan model checker.353Apache-2.0CompilersConcurrency lnmp-spatialSpatial awareness types and logic for LNMP protocol352MITEncodingScience::Robotics hodgkin-huxleyHigh-performance Hodgkin-Huxley neuron models with exact biophysical equations for computational neuroscience352MIT OR Apache-2.0ScienceSimulation synapse-modelsBiophysical synapse models for neural simulations with short-term plasticity350MIT OR Apache-2.0ScienceSimulation oxiphysics-materialsMaterial properties and material library for the OxiPhysics engine349Apache-2.0ScienceSimulation navaltoolboxHigh-performance naval architecture library for hydrostatics, stability, and tank calculations347AGPL-3.0-or-laterScienceSimulation ocrl-mockMock C ABI library for OCRL (Octopus Card Reader Library) - provides test implementations for payment terminal integration346MITAPI bindingsSimulation dreamwell-fabricDreamFabric — presentation layer facade for Dreamwell. Orchestrates GPU pipeline (Quantum Culling, DreamMatter, meshlet…344Apache-2.0CryptographyGame engines treantHigh-performance, lock-free Monte Carlo Tree Search library for Rust.338MITAlgorithmsConcurrency xdevs_utilsUtility extensions for the xDEVS simulator.337LGPL-3.0-or-laterSimulation bevy_symbios_groundBevy integration for an algorithmic terrain engine.336MITGame developmentMathematics inference-labHigh-performance LLM inference simulator for analyzing serving systems336MITSimulationWebAssembly fast-sdeHigh-performance Monte Carlo simulation for stochastic differential equations in quantitative finance330MIT OR Apache-2.0MathematicsScience spatial-mathSpatial math library for articulated body simulation329non-standardSimulation causticA General-Purpose 6D Collisionless Gravitational Dynamics Solver327GPL-3.0ScienceSimulation rlmesh-protoInternal RLMesh crate (unstable Rust API): protobuf definitions and generated gRPC stubs.323MIT OR Apache-2.0API bindingsScience coppConvex-objective path parameterization for robotic trajectory planning.320MITAlgorithmsMathematics lambda-simulatorHigh-fidelity AWS Lambda Runtime API simulator for testing Lambda runtimes and extensions locally320MITDevelopment tools::TestingSimulation sanghaSangha — sociology engine for social networks, game theory, and group dynamics320GPL-3.0-onlyScienceSimulation arkhe-kernelDomain-neutral deterministic microkernel for virtual worlds. WAL-backed, bit-identical replay, invariant-lifetime shell brand, no…316MIT OR Apache-2.0Data structuresEmulators thevenin-cirqParse-and-simulate convenience entry points pairing SPICE/Cirq import with the thevenin simulator310BSD-3-ClauseScienceSimulation percliOffline CLI simulator for the Percolator risk engine309Apache-2.0 OR MITCommand line utilitiesSimulation vibe-graph-automatonFoundational graph automaton with temporal state evolution and rule-driven transitions308MITData structuresSimulation stratneo-nautilus-backtestCore backtesting machinery for the Nautilus trading engine307LGPL-3.0-or-laterAsynchronousFinance wgpu_rt_lidarA hardware-accelerated ray tracing library for robotics and autonomy simulation, providing flexible LiDAR and depth camera models.305Apache-2.0GraphicsScience::Robotics opengolfcoachCross-platform library for calculating derived golf shot values304Apache-2.0Game developmentScience dreamwell-meshE2E encrypted mesh networking for Dreamwell303Apache-2.0CryptographyGame engines revrt-cliA command line for optimizing transmission infrastructure for electrical grid.302BSD-3-ClauseSimulation murk-propagatorsReference propagators for the Murk simulation framework299MITGame developmentScience swarm-engine-evalEvaluation framework for SwarmEngine299MITScienceSimulation murk-replayDeterministic replay and action logging for Murk simulations298MITGame developmentScience itihasItihas — structured world history: civilizations, eras, events, historical figures, and calendar metadata296GPL-3.0-onlyScienceSimulation rlevo-coreCore traits and types for rlevo (internal crate — use `rlevo` for the full API)296MIT OR Apache-2.0AlgorithmsScience rustrade-instrumentCore Rustrade Exchange, Instrument and Asset data structures and associated utilities.295MITFinanceSimulation rlmesh-spacesInternal RLMesh crate (unstable Rust API): space specifications and value model.294MIT OR Apache-2.0API bindingsScience rotastellarRust SDK for RotaStellar - Space Computing Infrastructure294MITAerospaceScience oxiphysics-femFinite element method for the OxiPhysics engine294Apache-2.0MathematicsScience simtrialClinical trial simulation293MITMathematicsScience rapier3d-mjcfMuJoCo MJCF loader for the 3D rapier physics engine.291Apache-2.0Game developmentMathematics operant-coreCore traits and vectorization for Operant RL library290MITGame developmentScience rspicePure-Rust circuit simulation backend288AGPL-3.0-onlySimulation phyla-langA procedural language generation library that creates consistent, deterministic constructed languages based on cultural…287MIT OR Apache-2.0GamesSimulation nt-backtestingHigh-performance backtesting engine for Neural Trader - vectorized calculations and event-driven simulation287MIT OR Apache-2.0AlgorithmsFinance ternsigVirtual mainframe runtime — Runes-based kernel for neuromorphic systems279MIT OR Apache-2.0ScienceSimulation rstm-macrosprocedural macros focused on streamlining the composition of Turing machines and their rules.278Apache-2.0MathematicsScience tx2-coreHigh-performance native ECS engine for cross-platform applications and games277MITGame developmentGraphics muse2A tool for running simulations of energy systems276GPL-3.0-onlyCommand line utilitiesScience ennboEpistemic Nearest Neighbor Bayesian Optimization275MITScienceSimulation rasayanRasayan — biochemistry engine: enzyme kinetics, metabolic pathways, signal transduction, protein structure, membrane transport274GPL-3.0-onlyScienceSimulation hyperlimitHyperreal-backed exact predicates with structural Real awareness.274MIT OR Apache-2.0GamesMathematics volterra-coreTrait definitions and error types for the volterra active nematics framework272MITMathematicsScience ringkernel-wavesimInteractive 2D wave propagation showcase for RingKernel269Apache-2.0GraphicsSimulation ringkernel-txmonGPU-accelerated real-time transaction monitoring showcase for RingKernel269Apache-2.0FinanceSimulation khanijKhanij — geology and mineralogy engine for crystal structures, rock cycles, soil, and mineral properties268GPL-3.0-onlyScienceSimulation ruqu-algorithmsProduction-ready quantum algorithms in Rust - VQE for chemistry, Grover's search, QAOA optimization, Surface Code error correction266MITAlgorithmsScience stratneo-nautilus-sandboxSandbox execution adapter for the Nautilus trading engine264LGPL-3.0-or-laterAsynchronousFinance evm-fork-cacheForked EVM state cache, snapshots, overlays, and simulation utilities for EVM search264MIT OR Apache-2.0CachingCryptography::Cryptocurrencies amari-dynamicsDynamical systems analysis on geometric algebra spaces - stability, bifurcations, attractors, and Lyapunov exponents263MIT OR Apache-2.0MathematicsScience dravyaDravya — material science engine for stress, strain, elasticity, fatigue, fracture, composites, and constitutive models262GPL-3.0ScienceSimulation dreamwell-qttpsQuantum Transit Transfer Protocol — FQTP transport layer with Blaed's Algorithm gate lifecycle, Ed25519 handshake, per-chunk…262Apache-2.0CryptographyGame engines oxiphysics-collisionCollision detection algorithms for the OxiPhysics engine260Apache-2.0AlgorithmsGame engines nostradamus-cliNostradamus: constellation simulation and prediction259AGPL-3.0-or-laterScienceSimulation dreamwell-analyticsDQL (Dream Query Language) engine — cold-path analytics, proof verification, and federated query for Dreamwell.257Apache-2.0CryptographyGame engines neuromodA high-performance Rust SNN library for neuroscience research and pure spiking neural network library featuring LIF, Izhikevich,…256GPL-3.0AlgorithmsScience systemioA simple generalized I/O interface255MITCommand-line interfaceConfiguration odjitterDisaggregate origin/destination data from zones to points253Apache-2.0Command line utilitiesScience rustrade-integrationLow-level framework for composing flexible web integrations, especially with financial exchanges251MITFinanceSimulation falakFalak — orbital mechanics engine for Keplerian orbits, perturbations, transfers, and celestial mechanics246GPL-3.0-onlyScienceSimulation defmt-stdoutTransmit defmt log messages to the standard output (Linux only, x86_64 and aarch64)246MITCommand-line interfaceEmbedded development rlmesh-grpcInternal RLMesh crate (unstable Rust API): gRPC clients, servers, and wire helpers.245MIT OR Apache-2.0API bindingsScience badalBadal — weather and atmospheric modeling engine244GPL-3.0-onlyScienceSimulation surge-transferSurge Transfer — Transfer capability analysis (ATC/TTC/AFC, DFAX)241PolyForm-Noncommercial-1.0.0AlgorithmsScience astrodyn_dynamicsRigid-body dynamics, integrators (RK4, RKF45, GJ, ABM4), mass tree, and body initialization240MIT OR Apache-2.0AerospaceScience surge-contingencySurge Contingency — Parallel N-1 contingency analysis with LODF screening238PolyForm-Noncommercial-1.0.0AlgorithmsScience manoAn assembler and emulator library for the Mano Machine RISC CPU235MITCompilersSimulation peteksimpetekSim — the SIMULATION layer: dynamic/engineering appraisal (recoverable/forecast) + PVT + the appraisal facade over the petek…235BUSL-1.1ScienceSimulation ringkernel-procintGPU-accelerated process intelligence with real-time DFG visualization and pattern detection234Apache-2.0ScienceSimulation oxirs-physicsPhysics-informed digital twin simulation bridge for OxiRS234Apache-2.0ScienceSimulation crabka-playgroundWebAssembly bindings driving Crabka's deterministic KRaft consensus simulator in the browser231Apache-2.0SimulationWebAssembly ancdecno_std Rust decimal: fraction precision never shrinks as integers grow; 4 types from u8(2+2) to u128(38+38) digits231MITEmbedded developmentMathematics phys-collisionProvides collision detection ability229non-standardSimulation rkf78Runge-Kutta-Fehlberg 7(8) integrator for spacecraft trajectory propagation229MITMathematicsScience neural-dynamicsLarge-scale neural network simulation library with advanced connectivity patterns and dynamics224MIT OR Apache-2.0ScienceSimulation smc_scan_scxmlSCXML frontend for the Scan model checker.224Apache-2.0CompilersConcurrency smc_scan_janiJANI frontend for the Scan model checker.222Apache-2.0CompilersConcurrency hdl-cat-circomCircom AST + emitter for hdl-cat IR graphs (bit-level, combinational + time-unrolled Mealy machines)222MIT OR Apache-2.0Hardware supportScience relayrl_env_traitTraits for training and testing environments in the RelayRL framework.221Apache-2.0AlgorithmsConcurrency 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 qcryptoLibrary for the design, simulation and validation of quantum cryptographic protocols219MIT OR Apache-2.0CryptographyScience space-dustA comprehensive astrodynamics library for satellite tracking, orbital mechanics, coordinate transformations, and celestial…218MITAerospaceScience numra-sdeStochastic differential equation solvers for Numra: Euler-Maruyama, Milstein, adaptive SRA1/SRA2, ensemble runner.218LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics root_rainA colorful animated weather simulation for the terminal — rain and snow effects with customizable speed, color, and style.216MITCommand line utilitiesGames metricchrono-coreOpen-source MetricChrono kernel, ladders, basic event log, and minimal consensus213Apache-2.0AlgorithmsScience fibertractPeripheral nervous system substrate — bidirectional fiber tracts with labeled-line encoding, Weber-law sensory quantization, and…213MIT OR Apache-2.0ScienceSimulation oxiphysics-rigidRigid body dynamics for the OxiPhysics engine213Apache-2.0Game enginesScience dreamwell-sdkDream SDK v1 — Simulation Development Kit for Dreamwell game logic, scene composition, and event-sourced gameplay.212Apache-2.0CryptographyGame engines oxiphysics-gpuGPU acceleration backends for the OxiPhysics engine211Apache-2.0ScienceSimulation dreamwell-universeDreamwell Universe — persistent quantum field server (CausalSimulationKernel). Headless daemon maintaining a…210Apache-2.0CryptographyGame engines murk-ffiC FFI bindings for the Murk simulation framework209MITGame developmentScience murkWorld simulation engine for reinforcement learning and real-time applications209MITGame developmentScience state-machines-rsCompositional discrete-time state machines, after MIT 6.01 chapter 4.209MITAlgorithmsScience ogunSpatial layout generation via sequential logit dynamics on potential games208MITAlgorithmsGame development smc_scan_promelaPromela frontend for the Scan model checker.208Apache-2.0CompilersConcurrency bevy_symbios_audioAlgorithmic audio generator for Bevy.206MITGame developmentMathematics bevy_sprinkles_editorGPU particle system editor for Bevy205MIT OR Apache-2.0Game developmentSimulation system_solverFind values of unknown parameters that satisfy a system of constraint equations and given parameter values.205MIT OR Apache-2.0MathematicsScience rustrade-macroRustrade ecosystem macros205MITFinanceSimulation math-femMultigrid FEM solver for the Helmholtz equation204GPL-3.0-or-laterMathematicsScience rlmesh-runtimeInternal RLMesh crate (unstable Rust API): runtime driver for evaluation sessions.201MIT OR Apache-2.0API bindingsScience blockchain-runtimeBlockchain-agnostic runtime abstraction for dynamic analysis, testing, and simulation198MITDevelopment toolsSimulation gmt_dos-clients_scopehubGMT DOS Scope Macro Attribute198MITScienceSimulation omega-snnSpiking Neural Network substrate for ExoGenesis Omega - biologically-inspired neural dynamics196MITAlgorithmsScience 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 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 koenig-damico-plannerFaithful Rust re-implementation of the Koenig-D'Amico fuel-optimal impulsive control algorithm (IEEE TAC 2020)193MIT OR Apache-2.0AerospaceMathematics radiate-uiA Rust library for genetic algorithms and artificial evolution.191MITAlgorithmsScience systemrs-diagDiagnostics and reporting for SystemRS (severity, actions, Report/ReportError).190Apache-2.0Development toolsSimulation concertMulti-agent network simulation with consideration-based decision making189MIT OR Apache-2.0Game developmentSimulation semiflowno_std Rust PDE solver: evolution equations via Chernoff approximation of operator semigroups (heat, diffusion, Schrodinger)186MIT OR Apache-2.0AlgorithmsMathematics operant-envsSIMD-optimized RL environment implementations for Operant185MITGame developmentScience rgrow-ipcDEPRECATED: Merged into rgrow. Use rgrow instead.185BSD-3-ClauseScienceSimulation of_runtimeRuntime orchestration and health supervision for the Orderflow engine185MITFinanceSimulation systemrs-runtimeStackful coroutine backend for SystemRS SC_THREAD processes (corosensei).184Apache-2.0Development toolsSimulation jyotishJyotish — astronomical computation engine for planetary positions, calendar systems, and celestial event prediction184GPL-3.0-onlyScienceSimulation volterra-decDEC physics layer: Q-tensor fields, Stokes solvers, BVH semi-Lagrangian advection, Helfrich energy, and variational integrators…181MITMathematicsScience systemrs-timeInteger simulation time (SimTime) and resolution for SystemRS.180Apache-2.0Development toolsSimulation percli-chainSolana on-chain client for the Percolator risk engine180Apache-2.0 OR MITCommand line utilitiesSimulation surge-dispatchSurge dispatch — SCED and multi-period production cost simulation180PolyForm-Noncommercial-1.0.0AlgorithmsScience volterra-fieldsTensor field types on Cartesian grids: Q-tensor, velocity, pressure, and scalar fields for 2D/3D active nematics180MITMathematicsScience beet_clankerECS agentic workflow patterns179MIT OR Apache-2.0Embedded developmentGame development ringkernel-wavesim3d3D acoustic wave simulation with realistic physics, binaural audio, and GPU acceleration179Apache-2.0GraphicsMultimedia::Audio rustrade-backtestDeterministic backtest engine for rustrade Brains — same trait, same brain, replayed offline178MITAlgorithmsFinance rlevo-evolutionEvolutionary algorithms for rlevo (internal crate — use `rlevo` for the full API)178MIT OR Apache-2.0AlgorithmsScience traci-rsPure Rust client library for the SUMO TraCI protocol177EPL-2.0Network programmingSimulation parametric_deriveA derive macro to bridge complex, hierarchical data structures with optimization algorithms that use flat parameter vectors.174MIT OR Apache-2.0Development tools::Procedural macro helpersMathematics specmock-coreCore types, schema validation, and deterministic data generation for spec-mock174Apache-2.0Development tools::TestingSimulation numra-ocpODE-constrained optimization for Numra: single and multiple shooting, collocation, adjoint sensitivity, parameter estimation for…174LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics smc_scanStatistical model checker for large concurrent systems.174Apache-2.0CompilersConcurrency databank-rsDistributed representational memory — signal-vector banks with typed edges173MITScienceSimulation numra-spdeStochastic partial differential equation solvers for Numra: Method of Lines with SDE time-stepping, white and colored noise…172LicenseRef-Numra-Academic-Research-NonCommercialAlgorithmsMathematics systemrs-kernelThe SystemRS discrete-event kernel: three-phase delta-cycle scheduler, events, processes, arenas.170Apache-2.0Development toolsSimulation kanaQuantum mechanics simulation — state vectors, operators, entanglement, quantum circuits169GPL-3.0-onlyScienceSimulation