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
5 repos
-
The Julia Programming Language
-
Splitting Conic Solver
-
Python interface for SCS
-
Numerical differential equation solvers in JAX. Autodifferentiable and GPU-capable. https://docs.kidger.site/diffrax/
-
Conditional Lean formalization and numerical certificate for prime gaps at most 186.