gitlab.inria.fr topics: ocean
croco-ocean/croco
Official repository for the CROCO model
dernière synchronisation: il y a environ un an - étoiles: 13 - forks: 9
minicroco/minicroco
An experimental CROCO version to research a new DSL approach based on uplifting to a DSL-IR.
dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 1 - forks: 3
Related Keywords