ZOYKUHot Board
MistrzowieZrywFalaŚwieżakiWznoszenieCiemne konieNiedocenianeTarcieForkiPrzełomy
GitHub Hot Board · Archiwum repozytorium

openai/navierstokesandeuler

Lean certificates accompanying Navier-Stokes and Euler results

LeanApache-2.0Regularnie utrzymywany · Push 59 dni temu
DokumentacjaOtwórz na GitHubie
gwiazdki
2.1k
forki
230
issues
0
Dzienny przyrost
—
dni online
3d
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
0
Fork/Star Adoption
10.8%

Skumulowane gwiazdki

Next Milestone: 5k (2.9k stars to go)+4 (3d)
2026-11-08: 2.1k
Dzienny przyrost
Max: +4 / day

Podobne projekty · wspólne tematy

openai/math17.4kleanprover/lean49.9kanthropics/fermats-last-theorem1.3kprove2me/prove2me_workspace100
Studio Odznak dla Twórców

Wstaw odznakę na żywo do README na GitHubie

Umieść dynamiczne odznaki SVG w swoim pliku README, aby pokazać rankingi w czasie rzeczywistym i linki do dokumentacji.

Podgląd240 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/pl/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=pl" />
    <img alt="GitHub Hot Rank - openai/navierstokesandeuler" src="https://git.zoyku.com/api/badge/card/openai/navierstokesandeuler?theme=light&lang=pl" height="64" />
  </picture>
</a>