gitlab.inria.fr topics: ocean
croco-ocean/croco
Official repository for the CROCO model
Last synced at: 7 months ago - Stars: 13 - Forks: 9
minicroco/minicroco
An experimental CROCO version to research a new DSL approach based on uplifting to a DSL-IR.
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 3
Related Keywords