Dev
GitHub repos gaining traction - what high-signal users are starring and what's climbing the board, captured daily and enriched from GitHub. Raw material for spotting new tech and patterns worth building on.
3,195
repos tracked
105
surfaced this week
193
created < 30d
Python
top language
27 repos
-
Differentially Private EGGROLL implementation with supporting math.
-
MathVista: data, code, and evaluation for Mathematical Reasoning in Visual Contexts
-
Implement a reasoning LLM in PyTorch from scratch, step by step
-
Very fast maths functions for float, complex, integer, and rational arrays, plus linalg, distributions, and more, in Rust and Python
-
Mathematical reconstruction and verification of dive tables and decompression algorithms, minimal-compartment models, robust inference from incomplete dive histories, and empirical decompression-risk analysis.
-
Mathematical foundations, information-theoretic methods, optimization algorithms, and research papers on Kelly wagering, risk, and betting markets.
-
Kenneth E. Iverson's Math for the Layman, restored from archive
-
Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward
-
A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.
-
Instant, animation-free switching between macOS Spaces (3-finger swipe or Ctrl+←/→). macOS 26.6+ and 27, no SIP disabling, no global Reduce Motion.
-
CMPUT 654: Mathematical Foundations of Modern AI, Fall 2026
-
Website.
-
Unicodemath and asciimath parsers/converters
-
Human-guided mathematical research for Pi: adversarial proof orchestration, conjecture discovery, and auditable evidence.
-
One tiny lib for LLM token + cost math
-
JSXGraph is a cross-browser library for interactive geometry, function plotting, charting, and data visualization in a web browser.
-
Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward
-
★ 6.5k dair-ai/Mathematics-for-ML🧮 A collection of resources to learn mathematics for machine learning
-
OpenBLAS is an optimized BLAS library based on GotoBLAS2 1.13 BSD version.
-
Experiments in geometric / mathematical 3D objects: a 31-polyhedron cast-aluminium chandelier, a starfield-projecting tealight lantern, gyroid spheres, an icosahedron-cell ice tray, and more
-
Ongoing research project for code&math LLMs
-
A library for modelling 3D objects with mathematical primitives
-
An extensive math library for JavaScript and Node.js
-
A photorealistic glacial valley at sunrise, procedurally generated in real time in the browser. Three.js, zero assets, all math.