Crowd Animation Open Software (ChAOS) is a visualization tool to create a crowd with animated virtual humans from precomputed trajectory files.

Verifiable online voting system

This is the public project for Damaris. In this project the main line of source codes and the latest version of the documentation is stored.

Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.

Biocham-4 sources and CI

Towards a lightweight ParaView alternative.

Test command-line applications through .should files

Binding for grew access from Python

Sources of the Abstract Categorial Development toolkit.

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

Deep learning for Hyperspectral imagery.

PyTorch implementation of several state-of-the-art 3D CNN on multiple public hyperspectral datasets.

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.

An LR(1) parser generator for OCaml.

Parallel Sparse direct Solver

Collection of CMake modules that can be shared among projects

Dense linear algebra subroutines for heterogeneous and distributed architectures

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

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