Explore projects

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.

Recurrent network weight tuning

Fork of Aevol in order to develop an eukaryotic version

A framework for declarative modeling and efficient tree decomposition based optimization and Boltzmann sampling

The OpenViBE extras: Acquisition Server, demos, plugin contributions

The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

conda recipes for building dtk, dtk layers and plugins

Scripts for testings and analysis

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

SED support for https://gitlab.inria.fr/solverstack.