Explore projects

Small C++ Simulator of the "Join-the-Shortest-Queue(d)" model (variant of the "supermarket model", a.k.a. "the power of two choices" presented in (Mitzenmacher - ‎1996, Vvedenskaya, Dobrushin, Karpelevich - 1996)

An LR(1) parser generator for OCaml.

Stage de licence 3 année

A set of tools to use interval analysis within ROS

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.

Library for tokamak meshing