Explore projects

Mirror for CI/CD only

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

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Ce dossier contient tous les supports liés au cours IAS (L3, Introduction à l'Apprentissage Statistique)

GitLab mirror of https://github.com/math-comp/math-comp

FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/

Rematerialize Optimally with pyTORch

Mirror for CI/CD purposes only.

Headwork project