Explore projects
-
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 -
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 -
Cyrille Bonamy / ecoinfo_ANF
Affero General Public License v1.0Updated -
rheolef / rheolef
GNU General Public License v3.0 onlyUpdated -
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
Updated -
CertiCompil / CompCert-KVX
GNU Lesser General Public License v2.1 onlyA version of CompCert with
extra optimization a backend for the Kalray KVX coreUpdated -
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 -
tima / sls / projects / augh
GNU Affero General Public License v3.0Updated -
-
CertiCompil / CompCert-IntrinSec
GNU General Public License v2.0 or laterUpdated -
Updated
-
Projet à cloner pour les étudiants réalisant le TP allocation mémoire
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 -
SecurityTools / Lazart
GNU General Public License v3.0 onlyUpdated -
Updated
-
-
Sebastien Michelland / qemu
GNU Lesser General Public License v2.1 onlyUpdated -
Phelma / Fablab / Marlin_BlackPrusa
GNU General Public License v3.0 onlyFirmware Marlin configuré pour la Prusa du bâtiment Z. Upstream : https://github.com/MarlinFirmware/Marlin
Updated