Explore projects

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

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

Automatic speculative POLyhedraL Loop Optimizer

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

Official repository for the CROCO model

Multiscale simulation of cell populations/Simulations multi-échelles de populations cellulaires

A drone simulator using Gazebo and ROS.

GUS feet: generation of a performance model from a pipedream-compatible ISA

PM2: Parallel Multithread Machine (source code)

Tools to check the accuracy of mathematical functions

Public interface to IceSL for creating plugins