version 3 implementation of the Fed-BioMed project

The Structural Bioinformatics Library

My own implementation of the JCR-RNN paper

A bunch of small R scripts for various purposes

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

PM2: Parallel Multithread Machine (source code)

N-body simulation using kernel independent Fast Multipole Method

A workspace to test panda_qp_control

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

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

A model to study the evolution of genomes under the influence of the transcription-supercoiling coupling.

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.