openai/NavierStokesAndEuler
Lean certificates accompanying Navier-Stokes and Euler results
Language: Lean
Stars: 1159 Issues: 0 Forks: 93
https://github.com/openai/NavierStokesAndEuler
Post #13757
1.48K
- Sep 27, 2026kryvora-network/kryvora-node Reference client daemon and verification worker for Kryvora N…
- Sep 26, 2026JohnHeibel/PDoomVideo Source code for the Claude Opus 5.5 music video for I'm Upping My P(…
- Sep 26, 2026tobi/disktree A treemap for finding and removing what fills your disk, for Omarchy. Rust +…
- Sep 26, 2026pallavi-shekhar/ai-engineering-interview-questions-company-wise Your Cheat Sheet For AI En…
- Sep 26, 2026riba2534/claude-opus-5-5-demo claude-opus-5-5-demo Language: JavaScript Stars: 786 Issues:…
- Sep 25, 2026kerpopule/hermes-jev-skills Jev-powered model routing, memory, compaction, skill selection…