Explore projects

Neural Network Adequate hardWare Architectures for Quantization

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.

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

Worker AMQP pour l'indexation dans wfcatalog

Lustre v4 distribution

Storing custom guix manifests to use with guix pack command

Identitovigilance RGPD Echange et partage