Explore projects
-
HTTP Validator
Updated -
Updated
-
cours de programmation objet INALCO - Master TAL première année
Updated -
BLANCHET Bruno / CryptoVerif
CeCILL-B Free Software License AgreementUpdated -
Gazelle / Specific-Tools / ANS / ans-hl7v2-simulators
Apache License 2.0Updated -
-
Updated
-
Auctus Team / auctus-team.gitlabpages.inria.fr
MIT LicenseAuctus website https://auctus-team.gitlabpages.inria.fr/
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 -
Basic system C/C++ interfaces to ease multi-language middleware integration
Updated -
Containerized documentation of customer environments
Updated -
learninglab / epoc / epoc-editor
CeCILL-B Free Software License AgreementUpdated -
Gazelle / Public / Core / Proxy V7
Apache License 2.0Record messages and transactions exchanged.
Updated -
-
Sanskrit linguistic resources under the Sanskrit Heritage Platform format
Updated -
Updated
-
UpdatedUpdated
-
-
Generating proof and algorithms pole website https://smimram.gitlabpages.inria.fr/proofs-algorithms
Updated -
Builds multi-language compilation packages and related documentation
Updated