Explore projects

Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication

Ongoing research training transformer language models at scale, including: BERT & GPT-2

This project is the home of the branch of the Truffle R language with a query library.

This project is the home of the mill test suite.

C++14 code for :

hssp in dimension d=2 hssp for very specific cases computing hypervolume contributions computing minimal-weight triples in weighted hypergraphs Where HSSP= Hypervolume Subset Selection Problem

Quelques l'exercices WIMS pour l'enseignement de l'informatique.

Quelques l'exercices WIMS pour l'enseignement de l'informatique.

Quelques l'exercices WIMS pour l'enseignement de l'informatique.