Explore projects

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

The AIDE project software development bundle

Créer et Reproduire l'Environnement d'un Projet Existant

we aim to measure the energy consumption due to using different optimisation tools such as transpilers , JIT libraries and custom interpreters

This example consists of a Flink Cluster, a Kafka Cluster, and data producers.

Gitlab for the course Foundational Principles of Machine Learning (FPML) in the CS Masters (M1 year), in the track Artificial Intelligence of the Paris Saclay University

CGAL 5.3 patches for the Alpha Wrap package