Explore projects

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

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

Primary library for necro with standard tools (parse, type check and print skeletal semantics)

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

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

Human mobility simulator based on an enhanced realistic statistical model of the Working Day Mobility Model (WDM). En-WDM can also generates SIMBox fraudulent mobility if properly configured.

MoReFEM core library.

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

diodon project with numpy

Supplementary datasets and codes for the manuscript "Implication of lipid turnover for the control of energy balance", S. Bernard and K.L. Spalding

This project contains:

a mathematical implementation of the carbohydrate-insulin model (CIM) and an energy-in, energy-out version of the energy-balance model (EBM-IOM) with a component for lipid turnover dynamics.

virtual clinical cohort datasets

numerical simulation results

script files to reproduce numerical simulations

a script file to generate manuscript figures

forked from gbury/dolmen

Process mapping algorithms and tools for general topologies

Fork of Debian's isc-dhcp package to add a patch (cf https://gitlab.isc.org/isc-projects/dhcp/-/issues/107)

a prior ce patch : -> https://gitlab.inria.fr/grid5000/isc-dhcp/-/blob/g5k-bullseye/debian/patches/dhcpd-lladdr6.patch?ref_type=heads ou bien voir dans https://gitlab.inria.fr/grid5000/isc-dhcp/-/blob/g5k-bullseye/debian/patches/

bibtex-sw-entry