GitHub Hot Board · Depo arşivi

openai/navierstokesandeuler

Lean certificates accompanying Navier-Stokes and Euler results

LeanApache-2.0Düzenli bakımda · 59 gün önce push

DokümantasyonGitHub’da aç

Star

2.1k

Fork

230

Issue

Günlük kazanç

—

gün

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

Fork/Star Adoption

10.8%

Toplam yıldız

Next Milestone: 5k (2.9k stars to go)+4 (3d)

2026-11-08: 2.1k

Günlük kazanç

Max: +4 / day

Benzer projeler · ortak konular

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

Geliştirici Rozet Stüdyosu

GitHub README'ye Canlı Rozet Ekle

Gerçek zamanlı sıralamaları ve dokümantasyon aynasını yansıtmak için dinamik SVG rozetlerini README dosyanıza ekleyin.

Önizleme240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

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