Dense linear algebra subroutines for heterogeneous and distributed architectures

Extensions of GNU Guix for high-performance computing.

An LR(1) parser generator for OCaml.

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

PIPER application

A project providing digital recognition of handwritten documents using machine learning techniques.

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

A library to build experimental frameworks on multiple platforms

Python library for manipulating trees and DAG reduction of trees

Metagrammar of Middle and Old French

python client for sharelatex and a tool to manage a project between git and the web UI.

command line interface to the Grew library

Repository to gather my internship work.

Python wrappers for the dtk-core layer

Simple experimental campaign workflow

bibtex-sw-entry