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
Updated -
Updated
-
-
Lightweight task-based FMM using the block tree and OpenMP/StarPU/Specx. Vectorized with Inastemp. Works with multiple CUDA GPUs.
Updated -
Updated
-
-
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Updated -
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
-
TimageTK (Tissue Image Toolkit) is a Python package dedicated to image processing of multicellular architectures, such as plants or animals. It is intended for biologists, modellers and computer scientists.
Updated -
Simulators for DNA sequencing, consensus algorithms to get the original sequence
Updated -
-
Containerized documentation of customer environments
Updated -
-
-
-
Updated