Mentions légales du service
Welcome to the gitlabci gallery! Please start by reading this first.
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
An LR(1) parser generator for OCaml.
Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Unofficial Inria beamer template
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
IOLB tool that computes data movement complexity of an affine program
An introduction level training course on Docker and Docker-compose.
An OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.
DEPRECATED, MOVED TO GITHUB https://github.com/MLanguage/mlang
Itauto: an Extensible Intuitionistic SAT Solver
Music transcription framework based on parsing for weighted regular tree grammars
Sources of the Abstract Categorial Development toolkit.