# Science & research: what’s taking off on GitHub

Magnitude (0–10) measures how fast and how unusually interest in a repository is growing right now. It is not a quality score. Days are UTC. “So far today” is a fact; “expected by the end of the day” is a forecast.

Data as of 2026-10-29 20:51 UTC, updated every 30 minutes.

1. **openai/math** — 5.7 · Breakout · Science & research · Lean · +425 stars measured 2026-10-29, 00:03–20:38 UTC, ≈ 494 by evening
   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 proofs.
   Full card: https://gitnova.dev/en/r/openai/math.md
2. **molence/Mol-1** — 4.7 · Early signal · Science & research · Python · +25 stars measured 2026-10-29, 00:03–20:38 UTC, ≈ 30 by evening
   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.
   Full card: https://gitnova.dev/en/r/molence/Mol-1.md
3. **AxiomMath/CFSG** — 4.5 · Early signal · Science & research · Lean · +6 stars measured 2026-10-29, 00:03–20:38 UTC, ≈ 7 by evening
   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.
   Full card: https://gitnova.dev/en/r/AxiomMath/CFSG.md
4. **CuboiLeo/SuperMimic-Reproduced** — 2.0 · Steady · Science & research · Python · +17 stars measured 2026-10-29, 00:06–20:44 UTC, ≈ 20 by evening
   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 pipeline, training,…
   Full card: https://gitnova.dev/en/r/CuboiLeo/SuperMimic-Reproduced.md
5. **sybil-solutions/all-historical-evidence-of-jesus-christ** — 1.4 · Cooling · Science & research · Python · +3 stars measured 2026-10-29, 00:04–20:47 UTC, ≈ 3 by evening
   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, with a searchable…
   Full card: https://gitnova.dev/en/r/sybil-solutions/all-historical-evidence-of-jesus-christ.md
6. **google/or-tools** — 1.4 · Steady · Science & research · C++ · +4 stars measured 2026-10-29, 10:52–20:47 UTC, ≈ 5 by evening
   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.
   Full card: https://gitnova.dev/en/r/google/or-tools.md
7. **colmap/colmap** — 1.3 · Steady · Science & research · C++ · +8 stars measured 2026-10-29, 00:10–20:47 UTC, ≈ 9 by evening
   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.
   Full card: https://gitnova.dev/en/r/colmap/colmap.md
8. **isl-org/Open3D** — 1.3 · Steady · Science & research · C++ · +5 stars measured 2026-10-29, 00:10–20:47 UTC, ≈ 6 by evening
   Open-source C++ and Python library for 3D data: data structures, processing algorithms, scene reconstruction, visualization and 3D machine learning support.
   Full card: https://gitnova.dev/en/r/isl-org/Open3D.md
9. **openmathmodel/open-math-harness** — 1.0 · Cooling · Science & research · Rust · +2 stars measured 2026-10-29, 00:11–20:48 UTC, ≈ 2 by evening
   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.
   Full card: https://gitnova.dev/en/r/openmathmodel/open-math-harness.md
10. **CrocSwap/integer-mult-bounds** — 0.8 · Quiet · Science & research · Python · +1 star measured 2026-10-29, 00:11–20:49 UTC, ≈ 1 by evening
   A research repository of community proofs improving the asymptotic exponent for integer multiplication (κ > 2^-15), with certificates, Lean checks and reproducible audits.
   Full card: https://gitnova.dev/en/r/CrocSwap/integer-mult-bounds.md
11. **jeff87654/busy-beaver** — 0.3 · Quiet · Science & research · Rocq Prover · +0 stars measured 2026-10-29, 00:12–20:50 UTC, ≈ 0 by evening
   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.
   Full card: https://gitnova.dev/en/r/jeff87654/busy-beaver.md
12. **theforecastingcompany/tfc-t0** — 0.1 · Quiet · Science & research · Jupyter Notebook · +0 stars measured 2026-10-29, 00:12–20:50 UTC, ≈ 0 by evening
   t0 is an open-weights time-series forecasting foundation model from The Forecasting Company that produces probabilistic forecasts using historical and known-future covariates.
   Full card: https://gitnova.dev/en/r/theforecastingcompany/tfc-t0.md
13. **StoopwenpueNq/jackie-fmri-sim** — 0.0 · Quiet · Science & research · Python · Not enough measurements today
   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 interpretable…
   Full card: https://gitnova.dev/en/r/StoopwenpueNq/jackie-fmri-sim.md
14. **BD4XDA/OceanDataView-MCP-Server** — 0.0 · Quiet · Science & research · Python · Not enough measurements today
   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.
   Full card: https://gitnova.dev/en/r/BD4XDA/OceanDataView-MCP-Server.md
15. **Augmented-Nature/AlphaFold-MCP-Server** — 0.0 · Quiet · Science & research · JavaScript · Not enough measurements today
   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.
   Full card: https://gitnova.dev/en/r/Augmented-Nature/AlphaFold-MCP-Server.md
16. **t4t5/bitcoin-0.1-rebuilt** — 0.0 · Steady · Science & research · Shell · Not enough measurements today
   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.
   Full card: https://gitnova.dev/en/r/t4t5/bitcoin-0.1-rebuilt.md
17. **Mrquillwing/hello_world-** — 0.0 · Steady · Science & research · Not enough measurements today
   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, NumPy/SciPy, C++ and Three.js…
   Full card: https://gitnova.dev/en/r/Mrquillwing/hello_world-.md
18. **ramithuh/protein-design-interactive-slides** — 0.0 · Steady · Science & research · JavaScript · Not enough measurements today
   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 slide and refresh.
   Full card: https://gitnova.dev/en/r/ramithuh/protein-design-interactive-slides.md

For agents: https://gitnova.dev/llms.txt · search: https://gitnova.dev/api/v1/search?q=… · MCP: https://gitnova.dev/mcp · any page as Markdown — append .md to its URL