- julia by JuliaLang, 49k stars. High-performance dynamic language for technical and scientific computing
- manim by ManimCommunity, 43k stars. Python library for programmatic math animations
- mujoco by google-deepmind, 18k stars. Physics simulator for robotics, biomechanics and reinforcement learning
- math by openai, 18k stars.
- cupy by cupy, 12k stars. NumPy and SciPy compatible array library that runs on NVIDIA GPUs
- ppf-contact-solver by st-tech, 4.6k stars. Contact solver for cloth, solid, rod, rigid body and sand physics simulation
- the_well by PolymathicAI, 4.6k stars. 15TB of physics simulation datasets for machine learning
- PySR by astroautomata, 4.3k stars. Symbolic regression library for Python and Julia that finds equations from data
- pennylane by PennyLaneAI, 3.5k stars. Python library for quantum computing and quantum machine learning
- Math-To-Manim by HarleyCoops, 2.9k stars. Generates math and physics animations and study notes from text and images
- xsimd by xtensor-stack, 2.8k stars. C++ wrappers for SIMD intrinsics across SSE, AVX, NEON, SVE and WebAssembly
- manimgx by academa-labs, 2.7k stars. Manim-compatible Python API for fast math and 3D animations on a GPU core
- ivy by robpike, 1.5k stars. Interactive APL-style calculator with array operations
- hexstellar by brayonpi, 1.4k stars. Toolkit giving agents optimization, scientific computing and verifiable execution
- fermats-last-theorem by anthropics, 1.3k stars. Lean 4 project working on Fermat's Last Theorem
- aeneas by AeneasVerif, 1.2k stars. Verification toolchain that translates Rust programs for proof assistants
- primesieve by kimwalisch, 1.1k stars. Fast C++ prime number generator based on the sieve of Eratosthenes
- erdosproblems by teorth, 883 stars. Community database of problems listed on erdosproblems.com
- patterncollider by aatishb, 422 stars. Browser tool for generating and exploring quasiperiodic tiling patterns
- VoxEMW by emwstudio, 371 stars. Python project for voxel-based electromagnetic wave modeling
- jacobian by morluto, 370 stars. MCP server with composable computer algebra and theorem proving tools
- atlas-lean by facebookresearch, 332 stars. Lean library of autoformalized textbook content at scale
- integer-mult-bounds by CrocSwap, 320 stars. Community proofs and certificates for conditional integer multiplication bounds
- penmentor by AbdullahAlhariri, 238 stars. AI tutor that visually marks up written math work using local models
- delaunay32 by morishuz, 195 stars. Fast parallel 2D Delaunay triangulation using exact integer predicates
- PrimeGaps186 by openai, 170 stars. Lean formalization and numerical check for prime gaps up to 186
- keplearn by owls-on-wires, 150 stars. Symbolic regression tool that finds formulas from data in seconds
- combinatorial-games by vihdzp, 113 stars. Library of combinatorial game theory written in Lean 4
- verified-3d-mesh-intersection by schildep, 110 stars. Lean 4 proof of 3D mesh intersection with a short formal spec
- numberwang by GraafHenk, 88 stars. Small neural network that classifies whether a number is Numberwang
- fc by xtellect, 76 stars. Research lossless compressor for floating point data, using AVX2
- wyrm_math by dicroce, 63 stars. Symbolic algebra engine written in TypeScript
- MathKernel by Staatsgeheim, 59 stars. Multi-engine math runtime for LLMs with typed IR and provenance tracking
- verified-polygon-intersection by schildep, 49 stars. Lean 4 formal proof of polygon intersection correctness
- spivak-lean by stormj-UH, 46 stars. Spivak's Calculus theorems and problems formalized in Lean 4
- gp-elite by ariel95500-create, 42 stars. Pure Python symbolic regression using genetic programming and LM
- 11SquaresFormalized by Queuingtheorydotcom, 29 stars. Lean formalization of the optimality proof for packing 11 squares
- 85.30-GFLOPS-Single-Core-FP32-Matrix-Multiplication-on-AMD-Zen-3 by houslast3, 23 stars. C matrix multiplication kernel reaching 85 GFLOPS on AMD Zen 3
- busy-beaver by jeff87654, 15 stars. Busy beaver machine bounds with axiom-free Coq proofs
New repos every two days, stars refreshed daily. Visits are counted without cookies, and the numbers are public. How it works Data RSS Newsletter