Explore projects

Mirror for CI/CD purposes only.

A Unified Runtime System for Heterogeneous Multicore Architectures.

More informations on https://starpu.gitlabpages.inria.fr/

Speculative task-based runtime system

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

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

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

The mindful appliance builder - Forked from https://github.com/oar-team/kameleon, in order to add the debian packaging files.

Packaging documentation: https://www.grid5000.fr/w/TechTeam:Kameleon_dev

Optimal Unstructured Remesher & ANisotropic Optimized Solver

PM2: Parallel Multithread Machine (source code)

TRISKELE stands for Tree Representations of Images for Scalable Knowledge Extraction and Learning for Earth observation

This project is originating from OBELIX team project from IRISA and aims to provide image hierarchical representations to be us

Sources of the Abstract Categorial Development toolkit.