Quotient summary, version of March 2018

Verifiable online voting system

SYsTème embArqué faible consommation à mémoiRE persistante

This source bundle provides all files of the 'recurrent neural network weight estimation though backward tuning' and 'hyperparameter less machine learning mechanisms studies', it is still a hack in development ``below an alpha version´´.

The LaTeX and PDF of my master thesis (WiP)

Gitlab repository for the Data Science class (id UE803) course for MSc students in NLP at Université de Lorraine.

Website of the Synalp research team of LORIA laboratory

Dense linear algebra subroutines for heterogeneous and distributed architectures

Implementing Bebida over Batsim: HPC and Big data jobs with preemption

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

Verifiable online voting system http://www.belenios.org

Instruction for repetition of analysis for paper "Assembly graph analysis of fragmented long-read bacterial genome assemblies".

Various tools / plugins for some BRDF