Explore projects

MoReFEM core library.

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

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

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

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

A generator of debugger for the Skel language for semantics description

Roots is a toolkit designed to manage multi-sequence data, in particular for speech and language processing research applications.

diodon project with numpy

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

numerical solver for population-based systems with gnuplot graphical output

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

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

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