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.

A CEGAR-based solver for maximum model counting

A basic C++ parser to read data from a file with format key value

Tuto CI avancé - CI/CD pour un code de calcul