Explore projects
-
Updated
-
Updated
-
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
AL QABBANI Muhammad / NaviDEC
GNU General Public License v3.0 or laterUpdated -
discovery / cheops
GNU Affero General Public License v3.0Generic service to manage geo-distributed resources
Updated -
vidjil / vidjil
GNU General Public License v3.0 onlyAn open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data
Updated -
Updated
-
Updated
-
Gazelle / Public / Framework / SSO Client V7
Apache License 2.0Client lib to contact Gazelle SSO (Keycloak).
Updated -
-
-
Updated
-
Generating seminar of IDIA/FCS website https://bournez.gitlabpages.inria.fr/seminar-IDIA-FCS
Updated -
-
cours de programmation objet INALCO - Master TAL première année
Updated -
-
Gazelle / Public / Core / Test Management
Apache License 2.0Test Management tool (Testing session management, user, organization and system registration, network configuration, test plan and test execution, reporting).
Updated -
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
Updated