Explore projects

Parallel C++ library for Multivariate Data Analysis of large datasets.

Fast Methods for Randomized numerical linear algebra. Provides a set of tools to perform Randomized NLA computations in a fast and efficient way, e.g., using fast multipole matrix multiplication, along with various application-dependent addons.

cours de programmation objet INALCO - Master TAL première année

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

PM2: Parallel Multithread Machine (source code)

Cado-NFS, An Implementation of the Number Field Sieve Algorithm

If you want to report bugs, or participate in cado-nfs development, read this

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

Time-Accurate Network Simulation Interconnecting Vms

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

SIBR = SIBR core + ULR application

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.

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