Explore projects

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

The Massively Parallel Hybrid Solver (Maphys) aims at solving large sparse linear systems using hybrid direct/iterative methods.

Music transcription framework based on parsing for weighted regular tree grammars

This repo contains examples of how to use Simulink simulation to perform simulation-based inference calculations in Python

Python runtime interface engine with Matlab simulations

This project is a pipeline that connects a Matlab simulation (Simulink) to an OpenAI Gym wrapper for PyTorch Reinforcement Learning using the DQN algorithm.

Numerical Enablers on OctreeS

Maven projects deployed by the CEDAR team

Personal web page.