Sources of the Abstract Categorial Development toolkit.

A program in charge of managing one Batsim simulation.

Biocham-4 sources and CI

Dense linear algebra subroutines for heterogeneous and distributed architectures

dtkCore provides fundamental tools to build modular platform.

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

Browsing Linked Data Catalogs

An LR(1) parser generator for OCaml.

Collection of CMake modules that can be shared among projects

Parallel Sparse direct Solver

A version of TsunamiLab running on cluster-driven wall displays.

A Wolfram Mathematica package and Octave module for rendering ShaderToy images

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

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

ViVa FEM female model

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