gitlab.inria.fr topics: croco
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 presque 2 ans - enregistré: il y a presque 2 ans - étoiles: 1 - forks: 3
Related Keywords