Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Sanskrit linguistic resources under the Sanskrit Heritage Platform format
-
-
Une page qui rassemble la documentation publique sur et pour le projet LECTAUREP
-
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
-
A library to build experimental frameworks on various platforms
-
-
-
The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.
-
The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.
-
The OpenViBE extras: Acquisition Server, demos, plugin contributions
-
Package for multivariate series, moment sequences and polynomial-exponential decomposition.
-
Deploy of kubernetes in a RaspberryPi
-
python client for sharelatex and a tool to manage a project between git and the web UI.
-
A JVM agent to profile the execution of applications.
-
-
Metagrammar of Middle and Old French
-
ESP32 firmware providing a REST API for controlling the devices installed in the escape game rooms.
-
-
A library to build experimental frameworks on various platforms
-
Hardware split of MPI communicators
