Explore projects

Backend extending the capabilities of the VPL Moodle module

Plateforme et sites mathdoc

Yalep is a micro language based on Lean for teaching mathematical high-school proofs

Version en cours de développement du WS-PPSD

A starting point / playground for spherical shell MHD / geodynamo numerical experimentations in Julia.

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.

Tools to manipulate optical interferometry data

guix channel for ljk packages (test purpose)