Repository to gather my internship work.

A library to build experimental frameworks on multiple platforms

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

A set of commonly used widgets written using Qt5.

Metagrammar of Middle and Old French

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

PIPER application

Documentation of the Grew software

Simple experimental campaign workflow

Frontend for shex-java.

Towards a lightweight ParaView alternative.

Python library for manipulating trees and DAG reduction of trees

Extensions of GNU Guix for high-performance computing.

The Coq library that accompanies the Menhir parser generator.

An LR(1) parser generator for OCaml.