ZOYKU · 火線榜 · 倉庫檔案

openai/navierstokesandeuler

Lean certificates accompanying Navier-Stokes and Euler results

LeanApache-2.0穩定維護中 · 60天前提交

最好成績

#175

潛力

技術文件在 GitHub 開啟

星星

2.1k

Fork

231

Issue

每日新增 Star

天前建立

潛力 #175

6 维全景战力雷达

项目全维形态与战力诊断

带入多仓横向对决 ->

战力定位形态

专注型极客利刃

在细分赛道具备鲜明的技术特色与清晰的定位边界

综合战力

/ 100

近 7 天星标净增

+6(+0.28%)

生态衍生率

10.9%

累計 Star 走勢

衝線預測：距 5k 還差 2.9k 星 · 約 3351 天衝線+6 (4d)

2026-11-09: 2.1k

每日新增 Star

Max: +4 / day

名次走勢

最好成績: #175

2026-11-09: #175 on rising

同類專案 · 共享主題

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

開源維護者外鏈工坊

嵌入 GitHub 官方 README 徽章

嵌入向量徽章為您的倉庫提供即時火線榜成績與技術文件直達外鏈，自動沉澱權威權重。

即時預覽240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

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