Explore projects

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

bibtex-sw-entry

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