Explore projects
-
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
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 -
A generator of debugger for the Skel language for semantics description
Updated -
Updated
-
Roots is a toolkit designed to manage multi-sequence data, in particular for speech and language processing research applications.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
Fork of Debian's isc-dhcp package to add a patch (cf https://gitlab.isc.org/isc-projects/dhcp/-/issues/107)
Updated -
numerical solver for population-based systems with gnuplot graphical output
Updated -
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
Updated -
Tool to generate a graphical representation of disk/partitions of a machine
Updated -
-
Updated
-
Updated