Explore projects
-
-
Updated
-
Updated
-
Gabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.
Updated -
An OCaml syntax extension (technically, a ppx_deriving plugin) which generates object-oriented visitors for traversing and transforming data structures.
Updated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
Updated
-
-
-
Primary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
-
Kadeploy is a scalable, efficient and reliable deployment system (cluster provisioning solution) for cluster and grid computing
Updated -
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated