Explore projects

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

An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

Unlock your lock systems efficiently

A library for constraint-based Hindley-Milner type inference.

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

diodon project with numpy

Kadeploy is a scalable, efficient and reliable deployment system (cluster provisioning solution) for cluster and grid computing

Process mapping algorithms and tools for general topologies