Explore projects

Seed detection in metabolic networks using both logic programming and linear programming.

ESP32 firmware providing a REST API for controlling the GPIO interface and higher functions

ESP32 firmware providing a REST API for controlling the galileo science outreach setup

ESP32 firmware providing a REST API for controlling the brachistochrone science outreach setup.

Mirror for CI/CD purposes only.

Music transcription framework based on parsing for weighted regular tree grammars

GNU MPFR is an efficient arbitrary-precision floating-point library with well-defined semantics (copying the good ideas from the IEEE 754 standard), in particular correct rounding in 5 rounding modes.

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

Speculative task-based runtime system

Convenient facilities to compile the third party libraries required by MoReFEM (either script or Dockerfiles might be used for that purpose).

A Python library/API dedicated to lazy linear operators based on diverse backends/libraries (learn more: https://faustgrp.gitlabpages.inria.fr/lazylinop)