Dense linear algebra subroutines for heterogeneous and distributed architectures

An LR(1) parser generator for OCaml.

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

Parallel Sparse direct Solver

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

Sources of the Abstract Categorial Development toolkit.

PIPER application

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 various platforms

command line interface to the Grew library

Project move to github

KNOT: Knowledge Network Overlap exTraction is a tool for the investigation of fragmented long read assemblies.

Verifiable online voting system http://www.belenios.org

Alpha language includes the core language, its parser, and editor based on Xtext.

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

bibtex-sw-entry

Simple experimental campaign workflow