Explore projects
-
CertiCompil / chamois-test
GNU General Public License v2.0 or laterUpdated -
MecaIceIGE / Tools / lib_python / icetrackpy
GNU Affero General Public License v3.0Updated -
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 -
Jerome Ferrari / WinKy
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Michele Portolan / mast-opensource
GNU Lesser General Public License v2.1 onlyManager for SoC Test
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 -
CertiCompil / Chamois-CompCert
GNU Lesser General Public License v2.1 onlyVerimag's fork of CompCert
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 -
Updated
-
Updated
-
Updated
-
Updated
-
Polytech / INFO / INFO3 / SE-TP / libopencm3
GNU General Public License v3.0 onlyUpdated -
Adrien Prost-Boucle / hwopt-xilinx-7series
European Union Public License 1.2Optimized hardware components for Xilinx 7-Series FPGAs
Updated -
nonsmooth / siconos
Apache License 2.0Updated -
Updated
-
Updated
-
Updated