Explore projects

Verifiable online voting system http://www.belenios.org

Parallel C++ library for Multivariate Data Analysis of large datasets.

Mirror for CI/CD purposes only.

Fast Methods for Randomized numerical linear algebra. Provides a set of tools to perform Randomized NLA computations in a fast and efficient way, e.g., using fast multipole matrix multiplication, along with various application-dependent addons.

This package implements the algorithms relying on Picard-Lefschetz theory for computing periods of algberaic varieties.

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

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

Explore resources from Inria's MC. https://grid5000.gitlabpages.inria.fr/resources-explorer

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

Description of the GenOuest core facility, policy, rules etc...

Official repository for the CROCO model

Mirror for CI/CD only

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

A Unified Runtime System for Heterogeneous Multicore Architectures.

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

cours de programmation objet INALCO - Master TAL première année