Explore projects

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

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

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

Some slides about the gitlabci gallery project

An LR(1) parser generator for OCaml.

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

bibtex-sw-entry

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

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

Itauto: an Extensible Intuitionistic SAT Solver

IOLB tool that computes data movement complexity of an affine program

Project moved to https://gitlab.com/ed-matisse/latex-template.

Former repository for the PhD thesis LaTeX template for the 13 doctoral schools of Collège doctoral de Bretagne. Project initiated by former PhD students of the MATISSE doctoral school (formerly MathSTIC) in collaboration with the doctoral school.

Unofficial Inria beamer template

CORE-MATH Mission: provide on-the-shelf open-source mathematical functions with correct rounding that can be integrated into current mathematical libraries

Music transcription framework based on parsing for weighted regular tree grammars

Sources of the Abstract Categorial Development toolkit.

PM2: Parallel Multithread Machine (source code)