Explore projects

cours de programmation objet INALCO - Master TAL première année

https://aviz.gitlabpages.inria.fr/swimflow/

Generates a bibliography for our website.

Simulation of Patient related actors (PIX, PDQ, PAM... and in various HL7 versions)

Resources for course MPRI 2-4 on functional programming and type systems.

Showcase website

Biocham-4 sources and CI

Dépôt git pour le site web de Liber Abaci

Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms

A generator of debugger for the Skel language for semantics description