GitLab

Rhythm transcription based on parsing for weighted context-free grammars

Répertoire pour stocker les ressources du MOOC qui seront directement mises en ligne sur FUN : contenus textuels et images.

Fichiers quiz non intégrés dans FUN depuis Gitlab https://learninglab.gitlabpages.inria.fr/mooc-iot/mooc-iot-ressources

Towards a lightweight ParaView alternative.

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

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Code related to the paper:

"Unsupervised quality control of segmentations based on a smoothness and intensity probabilistic model"

by Benoît Audelan and Hervé Delingette.

Link: https://doi.org/10.1016/j.media.2020.101895

Metagrammar of Middle and Old French

GNU Guix packages of non-free HPC software, or free software depending on non-free software.

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 project providing digital recognition of handwritten documents using machine learning techniques.

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.

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.

Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.

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.