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.

GitLab mirror of https://github.com/math-comp/math-comp

The AIDE project software development bundle

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

Builds multi-language packages and related documentation

Mirror for CI/CD purposes only.

Tools to check the accuracy of mathematical functions

Recurrent network weight tuning

Implements a macroscopic algorithmic ersatz of VSA some operations

CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries

Symbolic data structure numerical embedding

Symbolic data structure variational mechanisms

The Tabletop activites RPi software

Image processing encapsulation via web interface