Towards a lightweight ParaView alternative.

Python library for manipulating trees and DAG reduction of trees

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

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

Extensions of GNU Guix for high-performance computing.

The Coq library that accompanies the Menhir parser generator.

An LR(1) parser generator for OCaml.

A library to build experimental frameworks on multiple platforms

Simple experimental campaign workflow

A set of commonly used widgets written using Qt5.

Dense linear algebra subroutines for heterogeneous and distributed architectures

Frontend for shex-java.

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

PIPER application