openai/NavierStokesAndEuler

Lean certificates accompanying Navier-Stokes and Euler results

2.1k stars · 230 forks · Lean

Healthy

Maintained by 1 person in the last 90 days, no known risks.

Why

No warning signs: none of the verdict rules applied to this repo.

What would change this

Maintenance

Complete

Steady

Human commits, 30 days
0
Human commits, 90 days
2
Human commits, 365 days
2
Bot share of commits, 365 days
0%
Last commit
Sep 10, 2026 (2 months ago)
Last human commit
Sep 10, 2026 (2 months ago)
Authors, 90 days
1
Last release
none found
Median PR merge time
n/a

Too few recent issues to measure responsiveness.

Sources: Commits, Releases, Merged pull requests, Issues

People

Partial
Owner
Organization
Commits sampled
2 since Nov 15, 2025
Authors for half of commits
1
Authors for 80% of commits
1
Contributors
1

Top committers

Sources: Commits, Contributors

Stars

Complete

Not enough data, confidence medium

Stars per week, 2026-09-06 to 2026-11-08. 0 weeks overlap a burst.Peak 1.8k a week2026-09-062026-11-08
Bars show stars gained each week. Red bars overlap a burst.

Anyone can buy stars for any repo; bursts alone don't prove the owner did.

Sources: How star history is analyzed

Risk

Complete

Flags

No risk flags.

License

Now
Apache-2.0 (OSI-approved)
A year ago
Not known

Packages

No published packages found.

Sources: GitHub: openai/NavierStokesAndEuler

Compare

Weighing openai/NavierStokesAndEuler against an alternative? See both side by side.

Badge

RepoRadar: Healthy

Add this to a README to show the current verdict:

[![RepoRadar](https://reporadar.ai/openai/NavierStokesAndEuler/badge.svg)](https://reporadar.ai/openai/NavierStokesAndEuler)

Follow

Get told when this verdict changes. Add the feed to any feed reader: you get one entry per change, not one per refresh.

https://reporadar.ai/openai/NavierStokesAndEuler/feed.xml

Open the feed

See all

Earlier verdicts

Computed 56 minutes ago · method 2026.10.2