gitlab-ci.yml configuration files

This is a copy of TinyXML2 parser

This is a copy of the TinyXML parser.

Example Jekyll site using GitLab Pages: https://pages.gitlab.io/jekyll

General Opacity Supervision tool

This is a copy of the BuDDy library.

Supports pour le module M3105

repository of the sbench python package

Reinforce the opacity of a DES using the SCT

Cours du module R101 "Accueil" du département STID de l'IUT de Villetaneuse

Formal Developments and Proofs in Coq of Numerical Analysis Problems.