Explore projects

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

MoReFEM core library.

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

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

Paquet LaTeX pour l'utilisation des fontes InriaSans et InriaSerif dans les documents générés.

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

diodon project with numpy

Heuristics for Heterogeneous Memory (H2M) - Runtime Library & Examples

Tool to generate a graphical representation of disk/partitions of a machine

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

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

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