Explore projects

A library for constraint-based Hindley-Milner type inference.

potential energy and gradients of potential energy of a set of springs

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

Dense linear algebra subroutines for heterogeneous and distributed architectures

Dense linear algebra subroutines for heterogeneous and distributed architectures

Generates a bibliography for our website.

Display (tiled) images on Cluster-Driven Ultra-high-resolution Wall Displays

Code for reproducibility of [1]

[1] Hakim Hadj-Djilani, Julien Bernard, Louis-Claude Canon, Laurent Philippe. Branching List Scheduling Algorithms for the Identical Parallel Machine Scheduling Problem. RR-FEMTO-ST-2919, FEMTO-ST. 2024. https://hal.science/hal-04564228

bibtex-sw-entry

Verifiable online voting system http://www.belenios.org