Explore projects
-
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
Updated
-
-
-
Updated
-
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
Updated
-
Gazelle / Public / Validation / CDA Generator
Apache License 2.0Expose CDA validators generated by GOC as web-service.
Updated -
-
Gazelle / Public / Processing / Demographic Data Server
Apache License 2.0Generation of human demographics data.
Updated -
Gazelle / Public / Core / EVS Client
Apache License 2.0Front gateway to call validation-service.
Updated -
Gazelle / Public / Framework / SSO Client V7
Apache License 2.0Client lib to contact Gazelle SSO (Keycloak).
Updated -
-
cours de programmation objet INALCO - Master TAL première année
Updated -
learninglab / epoc / epoc-mobile
CeCILL-B Free Software License AgreementUpdated -
Generating seminar of plateau de Saclay website https://bournez.gitlabpages.inria.fr/seminar-algorithms-of-plateau-saclay
Updated -
mathexp / Séminaire commun
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
learninglab / epoc / epoc-editor
CeCILL-B Free Software License AgreementUpdated -