Explore projects
-
Gabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.
Updated -
Paquet LaTeX pour l'utilisation des fontes InriaSans et InriaSerif dans les documents générés.
Updated -
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
Updated
-
Updated
-
Kadeploy is a scalable, efficient and reliable deployment system (cluster provisioning solution) for cluster and grid computing
Updated -
Updated
-
Updated
-
Updated
-
Tool to generate a graphical representation of disk/partitions of a machine
Updated -
-
An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-