Explore projects
-
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
Updated -
Regale / Tools / REGALE Library
Apache License 2.0Updated -
Jerome Ferrari / WinKy
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Computer Assisted Medical Intervention Tool Kit (CamiTK) helps researchers and clinicians to easily and rapidly collaborate in order to prototype CAMI applications, that feature medical images, surgical navigation and biomechanical simulations.
Updated -
-
A plugin to enhance vpl design (CaseInE synchronisation for the designer, test generation, ...)
Updated -
-
Jerome Ferrari / LoKy
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalHere the repository to provided a board to connect a Linky to LoraWan
Updated -
Updated
-
Updated
-
Jerome Ferrari / EKy
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Updated
-
-
Updated
-
Updated
-
nonsmooth / siconos-tutorials
Apache License 2.0This repository contains all source files, published documents, and example programs for Siconos software.
Updated -
gtdonnees-gitlab2023 / Exemple intégration continue - 2
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Updated
-
Nathanael Schaeffer / xshells
CeCILL Free Software License Agreement v2.1XSHELLS is a high performance simulation code for the rotating Navier-Stokes equation in spherical shells, optionally coupled to the induction and temperature equation. https://nschaeff.bitbucket.io/xshells/
Updated -
verimag / bip / compiler
CeCILL-B Free Software License AgreementBIP compiler and execution engines.
Updated