GitHub / INRIA / velus
A Lustre compiler in Coq
JSON API: https://repos.data.code.gouv.fr/api/v1/hosts/GitHub/repositories/INRIA%2Fvelus
étoiles: 71
forks: 8
issues ouvertes: 1
licence: other
langage: Rocq Prover
taille: 12,3 Mo
dépendances analysées: En attente
date de création: il y a presque 7 ans
date de mise à jour: il y a 21 jours
enregistré: il y a 21 jours
dernière synchronisation: il y a environ 19 heures
Sujets: compcert, coq-formalization, lustre, synchronous-language
Loading...