47,133 repositories indexed
25–38 of 38 · Most stars
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
Native R and Python sample-deletion robustness for omics: candidate certificates, minimum deletion bounds, Bioconductor model refits and donor-level pseudobulk
Bayesian Optimization using GPflow
A formalization of geometry in Coq based on Tarski's axiom system
A Python package for the identification, characterization and comparison of spatial clusters from spatial -omics data.
Batched NVIDIA MotionBricks: generate the motion of hundreds of characters in one model call.
SIMD enhanced Array operations
Swift library like numpy, playgrounds notebook like jupyter.
means completeness and balancing, from the Arabic word الجبر
The Massively Parallel Quantum Chemistry program, MPQC, computes properties of atoms and molecules from first principles using the time independent Schrödinger equation.
Elixir library implementing a parallel matrix multiplication algorithm and other utilities for working with matrices. Used for benchmarking computationally intensive concurrent code.
Partial Commutative Monoids
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
Distributed Simulation of Transport Networks