Science & research: what’s taking off on GitHub

The fastest-growing repositories in “Science & research”: plain-language summaries, use cases and a check on star quality. Updated every 30 minutes.

5.7
openai/math
A collection of mathematical manuscripts and Lean formalizations produced by an internal OpenAI model while solving open research problems. Intended for mathematicians and researchers studying the results and verifying…

BreakoutScience & researchLean+422 stars measured 2026-10-29, 00:03–19:54 UTC, ≈ 511 by evening
4.8
molence/Mol-1
Mol-1 is an open model for predicting structures of biomolecular complexes (proteins, DNA, RNA, ligands, ions) from sequences. The `mol` CLI runs inference, MSA and template search, and structure conversion.

Early signalScience & researchPython+25 stars measured 2026-10-29, 00:03–19:54 UTC, ≈ 31 by evening
4.5
AxiomMath/CFSG
A sorry-free Lean 4 formalization of the Classification of Finite Simple Groups (CFSG), built on Mathlib and TauCeti using standard axioms. Aimed at mathematicians and formal proof developers.

Early signalScience & researchLean+6 stars measured 2026-10-29, 00:03–19:54 UTC, ≈ 8 by evening
2.0
CuboiLeo/SuperMimic-Reproduced
From-scratch reproduction of the SuperMimic paper (arXiv:2610.28480): a differentiable world model plus short-horizon BPTT actor-critic for Unitree G1 whole-body motion tracking, built on mjlab/MuJoCo Warp, with data…

SteadyScience & researchPython+16 stars measured 2026-10-29, 00:06–20:00 UTC, ≈ 19 by evening
1.5
sybil-solutions/all-historical-evidence-of-jesus-christ
Evidence archive for Jesus of Nazareth: a research dossier PDF plus New Testament, gnostic and extracanonical gospels, church fathers, ancient witnesses, Roman legal documents, archaeology and 238 cited references,…

CoolingScience & researchPython+3 stars measured 2026-10-29, 00:04–20:02 UTC, ≈ 4 by evening
1.4
google/or-tools
Open-source suite by Google for solving combinatorial optimization problems: constraint programming, linear programming, routing and graph algorithms. Includes C++ core with Python, C# and Java wrappers.

SteadyScience & researchC+++4 stars measured 2026-10-29, 10:52–20:02 UTC, ≈ 5 by evening
1.3
colmap/colmap
COLMAP is a Structure-from-Motion and Multi-View Stereo pipeline with GUI and CLI for 3D reconstruction from ordered and unordered image collections. Used in computer vision and photogrammetry.

SteadyScience & researchC+++8 stars measured 2026-10-29, 00:10–20:03 UTC, ≈ 9 by evening
1.3
isl-org/Open3D
Open-source C++ and Python library for 3D data: data structures, processing algorithms, scene reconstruction, visualization and 3D machine learning support.

SteadyScience & researchC+++5 stars measured 2026-10-29, 00:10–20:03 UTC, ≈ 6 by evening
1.0
openmathmodel/open-math-harness
The open-source runtime of Open Math OS for collaborative math research: runs agents on open models, parallel proof search and Lean-checked verification. Written in Rust, requires Linux and bubblewrap.

CoolingScience & researchRust+2 stars measured 2026-10-29, 00:11–20:04 UTC, ≈ 2 by evening
0.8
CrocSwap/integer-mult-bounds
A research repository of community proofs improving the asymptotic exponent for integer multiplication (κ > 2^-15), with certificates, Lean checks and reproducible audits.

QuietScience & researchPython+1 star measured 2026-10-29, 00:11–20:05 UTC, ≈ 1 by evening
0.3
jeff87654/busy-beaver
A collection of busy beaver results with machine-checked Coq proofs: record-holding BB(8), BB(10), BB(12) machines and a 335-state machine that halts iff ZFC is inconsistent.

QuietScience & researchRocq Prover+0 stars measured 2026-10-29, 00:12–20:05 UTC, ≈ 0 by evening
0.1
theforecastingcompany/tfc-t0
t0 is an open-weights time-series forecasting foundation model from The Forecasting Company that produces probabilistic forecasts using historical and known-future covariates.

QuietScience & researchJupyter Notebook+0 stars measured 2026-10-29, 00:12–20:06 UTC, ≈ 0 by evening
0.0
StoopwenpueNq/jackie-fmri-sim
A Python framework that reconstructs a digital twin of a dog's emotional and brain-region state from real fMRI, EEG, and physiological recordings across six sessions. It lets you query textual stimuli and returns an…

QuietScience & researchPythonNot enough measurements today
0.0
BD4XDA/OceanDataView-MCP-Server
MCP server that connects MCP-compatible AI assistants to Ocean Data View, letting them list collections, inspect saved views, export data as ODV spreadsheets or netCDF, and render views to PNG/JPG on isolated copies.

QuietScience & researchPythonNot enough measurements today
0.0
Augmented-Nature/AlphaFold-MCP-Server
An MCP server that exposes the AlphaFold Protein Structure Database to LLM clients, letting them fetch, search, batch-process and analyze predicted protein structures via UniProt IDs.

QuietScience & researchJavaScriptNot enough measurements today
0.0
t4t5/bitcoin-0.1-rebuilt
A reproducible rebuild of the original bitcoin.exe from Bitcoin's first 0.1.0 release, matching byte for byte the file Satoshi Nakamoto published in 2009.

SteadyScience & researchShellNot enough measurements today
0.0
Mrquillwing/hello_world-
A modular physics simulation engine for numerical modelling of physical systems: classical mechanics, gravity and N-body, particle dynamics, fluids and equation solvers. Early-stage project built with Python,…

SteadyScience & researchNot enough measurements today
0.0
ramithuh/protein-design-interactive-slides
A template for live slide decks in the browser: HTML for text, manim-style animations stepped per click, and 3D scenes with molecules and protein cartoons in the Mol* style. No build step or rendered video — edit a…

SteadyScience & researchJavaScriptNot enough measurements today