Core library for macroscopic traffic simulation using the classical 4-step demand model.
Covariance estimation algorithms
Wolf is a set of modules for realtime rendering, realtime streaming and game developing
VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds.
Rust component object model
Lean-backed fixed-dimension streaming covariance and Ledoit-Wolf shrinkage
Sun celestial simulation crate for the MilkyWay SolarSystem workspace
Deep Reinforcement Learning with Evolutionary Optimization
Per-group Gaussian-KDE cell density on a 2D embedding, min-max normalized to [0,1] — scanpy tl.embedding_density equivalent, value-exact, rayon-parallel
Secure Components for Rust.
Optimization module for SciRS2 (scirs2-optimize)
Radio Protocol client for FAF — broadcast AI context once, all tools receive. Client SDK for mcpaas.live.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.