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 -
Updated
-
marvin / cobot / vision
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
marvin / cobot / yumi
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
marvin / cobot / robot_interface
GNU Lesser General Public License v2.1 onlyUpdated -
marvin / cobot / human
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
pole-calcul-formation / Gestion de projets - Outils collaboratifs - Gitlab et git / Demos / Exemples intégration continue - CI CD pour un code de calcul
Creative Commons Attribution Non Commercial No Derivatives 4.0 InternationalTuto CI avancé - CI/CD pour un code de calcul (C/C++/fortran, Python)
Updated -
Updated
-
pole-calcul-formation / Gestion de projets - Outils collaboratifs - Gitlab et git / Demos / Exemple intégration continue - Code python
Creative Commons Attribution Non Commercial No Derivatives 4.0 InternationalTuto CI avancé - CI/CD pour un code Python
Updated -
nonsmooth / guix / siconos
Apache License 2.0Updated -
Updated
-
Updated
-
nonsmooth / siconos
Apache License 2.0Updated -
Regale / Tools / REGALE Library
Apache License 2.0Updated -
TAVA / BaxMC
CeCILL-B Free Software License AgreementA CEGAR-based solver for maximum model counting
Updated
