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

gitlab.univ-nantes.fr topics: Modelling

attiogbe-c/iot_with_eventb

Modelling, analysing and correct-construction of IoT-based systems using Event-B

dernière synchronisation: il y a environ un an - enregistré: il y a 12 mois - étoiles: 0 - forks: 0

E187954Y/capstone

A Rust library that partially reimplements the Ecore metamodeling language.

dernière synchronisation: il y a environ un an - enregistré: il y a 12 mois - étoiles: 0 - forks: 0