Explore projects
-
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 -
Sebastien Michelland / CGDoom
GNU General Public License v2.0 or laterUpdated -
CertiCompil / Chamois-Arsene
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
Updated -
CertiCompil / chamois-test
GNU General Public License v2.0 or laterUpdated -
continuous-everything / ci
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Updated
-
Updated
-
Updated
-
-
-
Thomas Lavocat / CoMD-integration
BSD 3-Clause "New" or "Revised" LicenseUpdated -
CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or laterUpdated -
CertiCompil / CompCert-KVX
GNU Lesser General Public License v2.1 onlyA version of CompCert with
extra optimization a backend for the Kalray KVX coreUpdated -
verimag / bip / compiler
CeCILL-B Free Software License AgreementBIP compiler and execution engines.
Updated -
Updated
-