Trending Repos
TrendingRisersNewestTopicsCollectionsCompare
TrendingRisersNewestTopicsCollectionsCompare
Trending Repos

Trending Repos tracks GitHub momentum from stars, forks, and rank history.

Explore

TrendingRisersNewestTopicsCollections

Tools

SearchCompareBadgesSubmit a repo

Project

AboutStatsDevelopersContactPrivacy
Back to trending
openai/NavierStokesAndEuler avatar

openai/NavierStokesAndEuler

GitHub

Lean certificates accompanying Navier-Stokes and Euler results

Lean2,111 stars224 forksApache-2.0

Momentum

openai/NavierStokesAndEuler has 2,111 GitHub stars. It gained +7 stars in the last 7 days and +105 in the last 30 days (snapshots through Oct 27, 2026).

Its biggest recent day was Oct 8, 2026, with +16 stars.

It currently ranks #47508 daily, #47445 weekly, #47852 monthly by momentum on Trending Repos; its best-ever rank is #355.

Trending Repos first recorded it on Sep 13, 2026.

Rankings

PeriodRankScore
Daily
#475080.0
Weekly
#474450.0
Monthly
#478520.0
How scoring works

Engagement

Total stars
Daily new stars

Similar trending repositories

  • openai/mathLean17,491 stars#844 this week
  • leanprover/lean4Lean 4 programming language and theorem proverLean9,919 stars#1313 this week
  • leanprover-community/mathlib4The math library of Lean 4Lean4,469 stars#1750 this week
  • josevalim/lynxProofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)Lean200 stars#2872 this week
  • leanprover-community/physlibA project to digitalise results from physics into Lean.Lean835 stars#3264 this week
  • leanEthereum/leanVMMinimal zkVM for Ethereum.Lean184 stars#4370 this week

Embeds

Best rank #355
openai/NavierStokesAndEuler badge
Markdown
Recent daily star gains
DateStars gainedTotal starsForks gained
Oct 27, 202602,110-1
Oct 26, 2026+22,1100
Oct 25, 202602,108+1
Oct 24, 2026+12,1080
Oct 23, 2026+12,107+1
Oct 22, 2026+22,1060
Oct 21, 2026+12,104+1
Oct 20, 2026+22,103+1
Oct 19, 2026-12,1010
Oct 18, 2026+32,1020
Oct 17, 2026+12,0990
Oct 16, 2026+72,098+1
Oct 15, 2026+62,091+1
Oct 14, 2026+22,0850