Explore projects

algorithm for joint pitch spelling and global and local key estimation

Recurrent network weight tuning

Implements a macroscopic algorithmic ersatz of VSA some operations

Symbolic data structure numerical embedding

Symbolic data structure variational mechanisms

The Tabletop activites RPi software

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

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

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

Image processing encapsulation via web interface

A step by step variational solver mechanism

Implements a JavaScript JSON weak-syntax reader and writer.

Basic system C/C++ interfaces to ease multi-language middleware integration

Builds multi-language compilation packages and related documentation

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.

Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.

A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.

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