Explore projects

Zen computational linguistics OCaml library

Implements a JavaScript JSON weak-syntax reader and writer.

Backup of Cocorico, the Coq wiki, now hosted at https://github.com/coq/coq/wiki Synchronized with github every hour

Web site of the Guix-HPC effort.

Formal operational semantic of WEBI language written in coq. Purpose of this project is to give a behavioural description of WEBI in COQ, using Small Step and Skeletal Semantics

course on webGL

Diaporama pour la rencontre sur les logiciels libres de recherche

A vanilia neural network for our statistic project at ENS rennes

Containerized documentation of customer environments

Unofficial Beamer template based on Inria color palette