StarDayOpen source rankings
Back to rankings

openai / NavierStokesAndEuler

Lean certificates accompanying Navier-Stokes and Euler results

Repository stars
2,125All-time #25,361
Fork
228
Last push
updated 1 months ago
Repository created
since 2026
Apps & systemsGeneralLeanApache-2.0 · Permissive
View source

About

Original · GitHub
Lean certificates accompanying Navier-Stokes and Euler results

Summarised by AI from the README; the original prevails

Author description: Lean certificates accompanying Navier-Stokes and Euler results

Basic listing based on official public information; functionality has not been independently evaluated.

Pricing
Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.

Star trend

2,1252,1262,12611-06 · 2,12510-0810-1310-1810-2310-2811-0211-06

First collected 2026-11-06Measured at 2026-11-06 08:41 UTCSourceLicense source

Compiled from public project information; not independently tested. · Repository Stars, not unique users · License tiers are derived from metadata. Check obligations for your use; unknown does not mean prohibited.