Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
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.
-
-
-
-
Rematerialize Optimally with pyTORch
