GitHub Hot Board · Archive du dépôt

openai/navierstokesandeuler

Lean certificates accompanying Navier-Stokes and Euler results

LeanApache-2.0Maintenance régulière · Mis à jour il y a 59j

Meilleur rang

#180

Montée

DocumentationOuvrir sur GitHub

stars

2.1k

forks

231

issues

Gain quotidien

jours d’existence

Montée #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

/ 100

7-Day Star Velocity

+4(+0.19%)

Fork/Star Adoption

10.9%

Étoiles cumulées

Forecast: 2.9k stars to 5k · ETA ~5030d+4 (4d)

2026-11-09: 2.1k

Gain quotidien

Max: +4 / day

Évolution du rang

Meilleur rang: #180

2026-11-09: #180 on rising

Projets similaires · sujets partagés

openai/math17.5k leanprover/lean49.9k anthropics/fermats-last-theorem1.3k prove2me/prove2me_workspace100

Studio de Badges pour Mainteneurs

Intégrer le badge direct au README GitHub

Intégrez des badges SVG dynamiques dans votre README pour afficher vos classements en temps réel et votre miroir de documentation.

Aperçu240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

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