Explore projects
-
Updated
-
Updated
-
Yliès Falcone / DecentMon
GNU General Public License v2.0 or laterDecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae
Updated -
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
MecaIceIGE / Tools / Ice Polycrystal Models / R³iCe
GNU General Public License v3.0 or laterUpdated -
MecaIceIGE / Tools / Ice Polycrystal Models / mesh_tools
GNU General Public License v3.0 or laterUpdated -
MecaIceIGE / Tools / Ice Polycrystal Models / IPMs_documentation
GNU General Public License v3.0 or laterUpdated -
Cyril Labbe / scidetect
GNU General Public License v3.0 onlyProvide on opensource version of the scigen detector: http://scigendetection.imag.fr/main.php
Updated -
DOORS - Ingenieurs / Clint_project
BSD 3-Clause "New" or "Revised" LicenseUpdated
