Dense linear algebra subroutines for heterogeneous and distributed architectures

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

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

The web interface for searching grew patterns in corpora

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

A library to build experimental frameworks on multiple platforms

N-body simulation using kernel independent Fast Multipole Method

PIPER application

Simple experimental campaign workflow

The C++ Patate Library provides tools to represent, characterize and analyze data commonly used in Computer Graphics through dedicated modules: geometry, light sources, materials.

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

Extensions of GNU Guix for high-performance computing.

A set of commonly used widgets written using Qt5.

Collection of CMake modules that can be shared among projects

SParse Matrix Package