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
- Partly checked: people (Only 2 human commits were found, too few to judge who maintains the project.)
- A dormant maintenance status, a deprecated or archived package, a successor link, or a critical advisory would change this.
Maintenance
CompleteSteady
- 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.
- Issues are disabled, so response time is not measured.
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
- balexeev-oai: 100% of commits
- Only 2 human commits were found, too few to judge who maintains the project.
Sources: Commits, Contributors
Stars
CompleteNot enough data, confidence medium
Anyone can buy stars for any repo; bursts alone don't prove the owner did.
- Not enough star history yet to judge the star count.
Sources: How star history is analyzed
Risk
CompleteFlags
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
Add this to a README to show the current verdict:
[](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.xmlMore repos rated Healthy
- uber/
ADR 2.1k stars - agentset-ai/
agentset 2.1k stars - doobidoo/
mcp-memory-service 2.1k stars - chatmcp/
mcpso 2.1k stars - rebel0789/
codexpro 2.1k stars - the-open-engine/
zeroshot 2.2k stars
Earlier verdicts
- Nov 15, 2026: Healthy