Explore projects

The FAµST toolbox provides algorithms and data structures to decompose a given dense matrix into a product of sparse matrices in order to reduce its computational complexity. https://faust.inria.fr

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

Automatic speculative POLyhedraL Loop Optimizer

Component Tree and Persistence Diagram

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

An OCaml library that provides facilities for memoization and fixed points.