Mentions légales du service
A Unified Runtime System for Heterogeneous Multicore Architectures.
More informations on https://starpu.gitlabpages.inria.fr/
Welcome to the gitlabci gallery! Please start by reading this first.
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)
An OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.
An introduction level training course on Docker and Docker-compose.
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
Cado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
An OCaml library that provides facilities for memoization and fixed points.
Teaching material for an industrial audience