GitLab

Repository for ADT MOCHY

The AIDE project software development bundle

Markov Toolkit for Markov models simulation: perfect sampling and Monte Carlo simulation

A Unified Runtime System for Heterogeneous Multicore Architectures

ViTE is a trace explorer. It is a tool to visualize execution traces in Pajé or OTF format for debugging and profiling parallel or distributed applications. It is an open source software licenced under CeCILL-A.

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

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

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

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

All results from the ics paper - to be kept

Extensions of GNU Guix for high-performance computing.

Data Processing for Cartolabe

An LR(1) parser generator for OCaml.

Grew Rewriting System (GRS) for converting basic UD annotations into Enhanced UD (EUD) annotations

Dense linear algebra subroutines for heterogeneous and distributed architectures