ZOYKUHot Board
All-timeWeeklyMonthlyFreshRisingDark horsesUnderratedControversyFork kingsMilestones
ZOYKU · Open Source Intelligence · Repository archive

openai/navierstokesandeuler

Lean certificates accompanying Navier-Stokes and Euler results

LeanApache-2.0Regularly maintained · Pushed 59d ago
Best
#180
Rising
DocumentationOpen on GitHub
stars
2.1k
forks
231
issues
0
Daily star gain
+4
days old
4d
Rising #180
6-Axis Combat Radar

Combat Limits & Architectural Persona

Compare with other repos ->
Architectural Persona
Specialized Tactical Vanguard
Distinct edge and dedicated footprint in specialized territory
Combat Score
60
/ 100
7-Day Star Velocity
+4(+0.19%)
Fork/Star Adoption
10.9%

Cumulative stars

Forecast: 2.9k stars to 5k · ETA ~5030d+4 (4d)
2026-11-09: 2.1k
Daily star gain
Max: +4 / day

Rank movement

Best: #180
2026-11-09: #180 on rising
#1#91#180

Similar projects · shared language & topics

openai/math17.5kleanprover/lean49.9kanthropics/fermats-last-theorem1.3kprove2me/prove2me_workspace100
Maintainer Badge Studio

Embed GitHub README Live Badge

Embed dynamic SVG badges into your README to reflect real-time rankings and documentation mirrors.

Preview240 x 64 px SVG
GitHub Dark ThemeGitHub Hot Rank - openai/navierstokesandeuler Dark Preview
GitHub Light ThemeGitHub Hot Rank - openai/navierstokesandeuler Light Preview
GitHub README <picture> (Auto Dark/Light)
<a href="https://git.zoyku.com/en/repo/openai/navierstokesandeuler" target="_blank" rel="noopener noreferrer">
  <picture>
    <source media="(prefers-color-scheme: dark)" srcset="https://git.zoyku.com/api/badge/card/openai/navierstokesandeuler?theme=dark&lang=en" />
    <img alt="GitHub Hot Rank - openai/navierstokesandeuler" src="https://git.zoyku.com/api/badge/card/openai/navierstokesandeuler?theme=light&lang=en" height="64" />
  </picture>
</a>