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

Backup of Cocorico, the Coq wiki, now hosted at https://github.com/coq/coq/wiki Synchronized with github every hour

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

Package for Semi-Definite Programming on moment matrices and polynomial optimization.

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

Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)

Stage de licence 3 année

Dense linear algebra subroutines for heterogeneous and distributed architectures

Flexible and extensible framework that integrates state-of-the-art methods for graph partitioning and sparse matrix ordering.

An LR(1) parser generator for OCaml.

Generate finite element matrices in python