GitLab

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