openai/NavierStokesAndEuler
Daily GitHub growth and open-source AI ranking profile for openai/NavierStokesAndEuler.
Lean certificates accompanying Navier-Stokes and Euler results
openai/NavierStokesAndEuler has 1901 GitHub stars, 197 forks, 610 stars gained in the last 24 hours.
Repository ranking signals
- Total GitHub stars: 1901
- Forks: 197
- Stars gained in 24 hours: 610
- Stars gained in 7 days: Unknown
- Primary language: Lean
- AI category: Misc
- Subcategory: General
- Keywords: Open-source AI
- Top contributors: balexeev-oai
- Last repository update: 2026-09-15
Why this page matters
AI Rank monitors openai/NavierStokesAndEuler as part of a daily open-source AI leaderboard. The page is useful for tracking GitHub momentum, category placement, language, contributors, and recent repository activity without manually checking each project.