Explore projects
-
legi / soft / trokata / ddt
GNU General Public License v2.0 or laterComputer Names and IP Address Management
Updated -
TAVA / BaxMC
CeCILL-B Free Software License AgreementA CEGAR-based solver for maximum model counting
Updated -
Mnemosyne / zeus_climate
GNU General Public License v3.0 or laterUpdated -
Elan Littératures et Arts Numériques / lobineau
Creative Commons Attribution 4.0 InternationalUpdated -
Updated
-
Updated
-
Updated
-
Formation Introduction au Deep Learning
Updated -
-
Updated
-
Michele Portolan / mast-opensource
GNU Lesser General Public License v2.1 onlyManager for SoC Test
Updated -
Mnemosyne / hades_stats
GNU General Public License v3.0 or laterUpdated -
Updated
-
TESTS-ISTERRE / pycorr
GNU General Public License v3.0 or laterUpdated -
MecaIceIGE / Tools / Ice Polycrystal Models / mesh_tools
GNU General Public License v3.0 or laterUpdated -
Updated
-
-
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
Updated