Skip to content
#

oceananigans

Here are 3 public repositories matching this topic...

Language: All
Filter by language

Merged AI-attributed physics-equation changes in open-source physics libraries: inventory, invariant specifications, Lean 4 transcriptions, native replays and spot checks

  • Updated Oct 17, 2026
  • Modelica

Add this topic to your repo

To associate your repository with the oceananigans topic, visit your repo's landing page and select "manage topics."

Learn more