Explore projects

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

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

MoReFEM core library.

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

This repository is a one-time import from https://git.tobast.fr/tobast/phd-defense; for archival purposes.

diodon project with numpy

numerical solver for population-based systems with gnuplot graphical output

Gabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.

A fork of MATISSE's thesis template

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

Process mapping algorithms and tools for general topologies

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.

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

Paquet LaTeX pour l'utilisation des fontes InriaSans et InriaSerif dans les documents générés.