public version for the school 2019

A Coq formalization of real analysis compatible with the standard library.

HIPAR's source code and experimental data

Videos of 3PHS map of real collagen motion sequence for motion field computed with the proposed TV-regularized, CS data-term based variational method.

Document remis aux élèves lors des ateliers de la Fête de la Science ou de l'accueil de stagiaires collégiens ou lycéens.

Intrinsics as template - is a basic library to use vectorization easily in C++ thanks to template and Intrinsics (X86 SSE/AVX/AVX512, PowerPC ALTIVEC, ARM SVE)

Git for the R tool doing MBPTA analysis

A fork of https://github.com/sgimenez/laby using Dune as a build system, adding some features along the way.

The website of one humongous corpus. https://traces1.inria.fr/oscar/

Terminal tool that converts files encoding to UTF-8 .

An extremely fast entity-fishing client

An extremely simple and naïve program to deduplicate huge plain text files.

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).