GitLab

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

Juptyter notebooks for use cases using solvers of the nutopy toolbox and bocop code

Lazy lavender is a simulation environment for "cultural knowledge evolution", i.e. experimenting with several agents evolving their own knowledge through interacting.

Website with:

the list of group meetings names of members resources for students (summer schools, conferences, scholarships)

Repository for ADT MOCHY

Kadeploy is a scalable, efficient and reliable deployment system (cluster provisioning solution) for cluster and grid computing

Regroupe toutes les ressources du Mooc : Fiches concept, fiches pédagogiques, ... https://learninglab.gitlabpages.inria.fr/mooc-impacts-num/mooc-impacts-num-ressources

A massively parallel Branch&Bound algorithm for the exact resolution of permutation-based optimization problems, like Permutation Flow-shop Scheduling

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Tools to check the accuracy of mathematical functions

Verifiable online voting system http://www.belenios.org

A library to build experimental frameworks on multiple platforms

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.