Explore projects

Standalone Frequency Analyzer written in C++ and with a Python module interface. Uses a filter bank instead of FFT. Optionally uses frequency reassignement. Can be called incrementally for online updates.

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

Automatic speculative POLyhedraL Loop Optimizer

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

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

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

N-body simulation using kernel independent Fast Multipole Method

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.

PM2: Parallel Multithread Machine (source code)

isogeometric solver for PDE systems

C++ header-only library to handle genomic banks and k-mer models

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

Comet is a pipelined RISC-V processor generated with HLS.

MoReFEM core library.

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