Tralics: a LaTeX to XML translator

Webservice Dataselect

Application de gestion de plannings SELF

Repository for the benchmark of NoLOAD, an optimization tool using automatic differentiation for the design of energy components and systems. It includes various use cases available openly.

Introduction à l'intelligence artificielle : science des données et machine learning

A version of CompCert with

extra optimization a backend for the Kalray KVX core

Aligneur phonographémique phon2graph