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.
-
6.9
yifanzhang-pro/recurrent-looped-tranformer
Project page for Recurrent Looped Transformer (RLT) — a technical report on a recurrent looped transformer architecture with latent reasoning and a persistent state across prompt and response. The repository only hosts…
-
4.4
yjz211/vivid-figures-skill
A skill for AI assistants that picks chart types from your data and generates research figures: 108 recipes, two styles, PNG/PDF plus source code. For papers, modeling and reports.
-
3.8
ashleyotooligan/ant-1
A simulated ant with a recurrent neural controller in a 2D arena: it finds an odour source, records a food-location vector, and returns to its nest. An open laboratory for observing and intervening in the sensorimotor…
-
3.5
fruitflydev/flycoinrh
A simulation of a fruit fly connectome (165,122 neurons) drives a browser — cursor and clicks — to launch tokens on Robinhood Chain and roam the internet aimlessly.
-
3.2
kevinzakka/mjbatch
A Python library for running thousands of MuJoCo simulations in parallel on CPU via a C++ thread pool, with live access to per-simulation state and parameters.
-
3.2
openai/NavierStokesAndEuler
Lean 4 formalizations of finite-time blowup results for the Navier–Stokes and Euler equations, including certificates for Millennium Prize problems. Intended for mathematicians and formal proof researchers.
-
2.6
mattyhempstead/fly-wirehead
A fly-connectome simulation where real videos stimulate a reconstructed 166,700-neuron network, and its measured activity drives the fly's movements and a live neural overlay in the browser.
-
2.5
DenisSergeevitch/desktop-fly
A 3D fruit fly lives on the macOS desktop, driven by a spiking simulation of the real FlyWire connectome and the MaleCNS motor network.
-
1.9
xiahongchi/Fire3D
Fire3D is a research framework that turns a single RGB image or casual video into a 3D scene with objects, their 6-DoF poses, meshes and textures, without test-time optimization. It is the official code release with…
-
1.4
anthropics/fermats-last-theorem
A complete, machine-checked proof of Fermat's Last Theorem in Lean 4, built on Mathlib and following the Frey-Serre-Ribet-Wiles argument. Research artifact, not maintained and not accepting contributions.
-
0.5
lingxiao-guo/GPT6-real2sim
A real-to-simulation reconstruction study of DROID/Franka and ABC/YAM robot episodes, using MuJoCo for contact dynamics and Blender for multi-view rendering. Includes scripts, assets, calibration data, and comparison…
-
0.4
tristanbuckmaster/fluid_lean
Formalization of fluid dynamics and fluid mechanics in Lean 4. A library for mathematical proofs in fluid dynamics.
-
0.2
openaiotlab/CUHK-X
A large-scale multimodal dataset and benchmarks for human action recognition, understanding and reasoning: 64,267 samples across seven time-aligned modalities (RGB, IR, Thermal, Depth, mmWave Radar, Skeleton, IMU).