Explore projects
-
MecaIceIGE / Tools / Ice Polycrystal Models / R³iCe
GNU General Public License v3.0 or laterUpdated -
Gaya El Haber / Exemples intégration continue - CI CD pour un code de calcul
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalTuto CI avancé - CI/CD pour un code de calcul
Updated -
Cours d'introduction au parallélisme. Il a été présenté aux professeurs de Lycée, pour ISN/ICN le 6 mars 2018.
Updated -
Nathanael Schaeffer / SHTns
CeCILL Free Software License Agreement v2.1Spherical Harmonic Transform library aimed at high performance numerical simulations in spherical geometries. It is very fast.
Updated -
Updated
-
Michele Portolan / mast-opensource
GNU Lesser General Public License v2.1 onlyManager for SoC Test
Updated -
Updated
-
Julien Flot / qemu-mesi
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
Tomin Moreau / nnawaq
European Union Public License 1.2Neural Network Adequate hardWare Architectures for Quantization
Updated -
Aquaponie est la pratique d’agriculture associant dans un même milieu la culture de végétaux et l’élevage de poissons en symbiose
Updated -
-
GruLab / 6DCNN
GNU General Public License v3.0 or laterUpdated -
Updated
-
Updated
-
A plugin to enhance vpl design (CaseInE synchronisation for the designer, test generation, ...)
Updated -
Regale / Tools / REGALE Library
Apache License 2.0Updated -
Updated
-
TAVA / BaxMC
CeCILL-B Free Software License AgreementA CEGAR-based solver for maximum model counting
Updated -
tima / sls / gem-spsr
BSD 3-Clause "New" or "Revised" LicenseUpdated