Explore projects

Some slides about the gitlabci gallery project

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

An LR(1) parser generator for OCaml.

Gabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.

Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.

Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)

bibtex-sw-entry

An OpenAI Gym crop management environment for Reinforcement Learning (RL), based on the Decision Support System for Agrotechnology Transfer (DSSAT) crop model.

GUS feet: generation of a performance model from a pipedream-compatible ISA

Unofficial Inria beamer template

An introduction level training course on Docker and Docker-compose.

Itauto: an Extensible Intuitionistic SAT Solver

IOLB tool that computes data movement complexity of an affine program

A distributed multi-task learning system for neural networks. Including a clustering-based collaboration recommendation system.

Sources of the Abstract Categorial Development toolkit.

An OCaml library that provides facilities for memoization and fixed points.