ZOYKU · 火线榜 · 仓库档案

openai/navierstokesandeuler

Lean certificates accompanying Navier-Stokes and Euler results

LeanApache-2.0稳定维护中 · 59天前提交

最好成绩

#180

潜力

技术文档在 GitHub 打开

星标

2.1k

Fork

231

Issue

每日新增 Star

天站龄

潜力 #180

6 维全景战力雷达

项目全维形态与战力诊断

带入多仓横向对决 ->

战力定位形态

专注型极客利刃

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

综合战力

/ 100

近 7 天星标净增

+4(+0.19%)

生态衍生率

10.9%

累计 Star 走势

冲线预测：距 5k 还差 2.9k 星 · 约 5030 天冲线+4 (4d)

2026-11-09: 2.1k

每日新增 Star

Max: +4 / day

名次走势

最好成绩: #180

2026-11-09: #180 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/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>