Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
bibtex-sw-entry
-
Biocham-4 sources and CI
-
Dense linear algebra subroutines for heterogeneous and distributed architectures
-
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
-
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
-
Juptyter notebooks for use cases using solvers of the nutopy toolbox
-
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.
-
A library to build experimental frameworks on multiple platforms
-
A project providing digital recognition of handwritten documents using machine learning techniques.
-
A project providing digital recognition of handwritten documents using machine learning techniques.
-
The OpenViBE extras: Acquisition Server, demos, plugin contributions
-
Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.
-
-
-
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
-
The web interface for searching grew patterns in corpora
-
A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.
-
A collection of models trained with Kraken for transcription and segmentation
-