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

SParse Matrix Package

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

Quotient summary, version of March 2018

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

Treerecs is a program which corrects gene trees taking informations from a given rooted species tree.

PIPER application

Pahtway-Tools multiprocessing script (for PathoLogic and Biopax/dat creation).

Dense linear algebra subroutines for heterogeneous and distributed architectures

An LR(1) parser generator for OCaml.

Collection of CMake modules that can be shared among projects

N-body simulation using kernel independent Fast Multipole Method

Browsing Linked Data Catalogs

dtk is a meta-platform for modular scientific platform development.

django serveur pour piy