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.

Linkex is a tool that extracts candidate link keys from two data sources in RDF.

The web interface for searching grew patterns in corpora

GNU Guix packages of non-free HPC software, or free software depending on non-free software.

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

A library to build experimental frameworks on multiple platforms

The OpenViBE extras: Acquisition Server, demos, plugin contributions

Speculative task-based runtime system

SoapUI test projects to test responders actors (Document registry, ADR provider, Responding Gateway...) in the context of the Swiss EPR project

Python library implementing data structures and algorithms for the representation and manipulation of cellular complexes.

Tools for computing Gröbner bases