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.
2,235
repos tracked
175
surfaced this week
194
created < 30d
Python
top language
8 repos
-
Lean certificates accompanying Navier-Stokes and Euler results
-
Lean proof that d-DNNF is not polynomially closed under negation, with the paper and its corollaries.
-
Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)
-
Conditional Lean formalization and numerical certificate for prime gaps at most 186.
-
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
-
Ongoing Lean formalisation of the proof of Fermat's Last Theorem