An open API service providing repository metadata for many open source software ecosystems.

gitlab.inria.fr / minicroco 2 Dépôts

minicroco/psyclone

A local clone of the PSyClone official repository (https://github.com/stfc/PSyclone) to store our local temporary changes for the studies we are doing and to keep track of them in a single place.

dernière synchronisation: il y a 7 mois - étoiles: 1 - forks: 0

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 12 mois - enregistré: il y a 11 mois - étoiles: 1 - forks: 3