Explore projects

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

Edition numérique de la Chronique française de Guillaume Cretin - https://crenum.elan-numerique.fr/

UVMAT contains a Matlab program for Particle Imaging Velocimetry (PIV, also called Correlation Image Velocimetry, CIV)

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.

Plateforme de transcription et d'annotation de corpus textuels, TACT est le logiciel derrière le plateforme nationale TACTEO : https://tacteo.huma-num.fr/ La 1ere instance est toujours disponible ici : https://tact.demarre-shs.fr/ et le bac à sable ici : https://tact-sandbox.demarre-shs.fr/

Spherical Harmonic Transform library aimed at high performance numerical simulations in spherical geometries. It is very fast.

Storing custom guix manifests to use with guix pack command