Explore projects

Mirror for CI/CD purposes only.

Contains the code for the webinterface of botascopia

Resources for course MPRI 2-4 on functional programming and type systems.

OpenStack Neutron ML2 plugin for configuration of 802.1q vlans on "bare metal" network equipments. Fork of https://opendev.org/openstack/networking-generic-switch including some g5k specific patches

The meta repository for building OpenViBE

N-body simulation using kernel independent Fast Multipole Method

GitLab mirror of https://github.com/math-comp/math-comp

Validation service for XML documents, based on Schematron description.

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Automated web-service tests, described as SoapUI projects.

Front gateway to call validation-service. (EVSClient)

FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/