Explore projects

Lightweight task-based FMM using the block tree and OpenMP/StarPU/Specx. Vectorized with Inastemp. Works with multiple CUDA GPUs.

Itauto: an Extensible Intuitionistic SAT Solver

(Fork) A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

How to use Org mode and Guix to build a reproducible experimental study

The LocARNA 2.0 bookchapter (for Ronny)

Implements a JavaScript JSON weak-syntax reader and writer.

Vers une étude scientifique expérimentale reproductible avec Guix

notes de thèse pour Pierre-Antoine Rault - dernier rapport

An experimental study based on the test_FEMBEM solver using Guix for the management of its software environment

Concurrent Separation Logic for Multicore OCaml