GitHub / INRIA / zelus
A synchronous language with ODEs
JSON API: https://ecosystem.code.gouv.fr/api/v1/hosts/GitHub/repositories/INRIA%2Fzelus
étoiles: 51
forks: 14
issues ouvertes: 0
licence: other
langage: OCaml
taille: 62,3 Mo
dépendances analysées:
4
date de création: il y a environ 5 ans
date de mise à jour: il y a 4 mois
enregistré: il y a 6 jours
dernière synchronisation: il y a 5 jours
Sujets: hybrid-systems, ocaml, odes, synchronous-language, zelus
.github/workflows/build.yml
actions
- actions/checkout v2 composite
- ocaml/setup-ocaml v2 composite
.github/workflows/opam.yml
actions
- actions/checkout v2 composite
- ocaml/setup-ocaml v2 composite