GitLab

The FloPoCo arithmetic core generator

This repository contains information to reproduce several records obtained with cado-nfs

Experimental Magma and SageMath exact implementation of the alpha function in the TNFS (tower number field sieve) setting.

This project aims at providing a set of tools to generate efficient trees for the tile QR/LQ algorithms in order to reduce the volume of communications and increase the level of parallelism of those algorithm for Tall and skinny matrices.

An LR(1) parser generator for OCaml.

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

Spectral Viewer is a multiplatform tool for visualising and manipulating spectral images and HDR images.

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

MRF stands for Malia Rendering Framework, an open source library for predictive, physically-realistic rendering. It comes with several applications, including a spectral path tracer, RGB-to-spectral conversion routines

Efficiently answering regular path queries on very large graphs, by guiding the search through distances in an embedding of the graph. This embedding is precomputed in quasi-linear time and space, independently of the regular query.

Compiler for the M language of the French DGFiP

CPU architecture performance evaluation tool