Explore projects
-
Tool to generate a graphical representation of disk/partitions of a machine
Updated -
MoReFEM core library.
This library also contains some simple Models to illustrate how to use it, and several integration tests.
Updated -
« Pourquoi ces avions font-ils autant de bruit ? » ou quand le calcul haute-performance s'invite en aéroacoustique
UpdatedUpdated -
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 -
LAWALL Julia / liliput
OtherInferring the structure of Linux lists, based on the paper The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel by Nic Volanschi and Julia Lawall at ASE 2020
Updated -
Updated
-
This project contains resources and instructions on how to perform a FIT IoT-LAB like deployment including TurtleBot2 robots
Updated -
Material to reproduce Batsim's first experiment — https://hal.archives-ouvertes.fr/hal-01333471. Moved from https://gforge.inria.fr/projects/expe-batsim
Updated -
dynres / dyn-procs / openpmix
BSD 3-Clause Open MPI variantUpdated -
BERTOT Yves / ProgrammezCoq
Creative Commons Attribution 4.0 InternationalUne description de la programmation en Coq pour un magazine grand public.
Updated -
COMPRISE / deliverables / Deliverable D3.4
GNU General Public License v3.0 onlyFinal personalized speech-to-text learning library
UpdatedUpdated -
The complete list of files for deliverable D2.1. Source code and report.
Updated -
Cadbiom is an open source modeling software. Based on Guarded transition semantic, it gives a formal framework to help the modeling of biological systems such as cell signaling network.
Updated -
BERNARD Samuel / odexp
Othernumerical solver for population-based systems with gnuplot graphical output
Updated -
grid5000 / isc-dhcp
Mozilla Public License 2.0Fork of Debian's isc-dhcp package to add a patch (cf https://gitlab.isc.org/isc-projects/dhcp/-/issues/107)
Updated -
ROUVOY Romain / Async Profiler for PowerAPI
Apache License 2.0A JVM agent to profile the execution of applications.
Updated -
Updated
-
Jens Gustedt / P99 - macros and functions for C99
Apache License 2.0P99 is a suite of macro and function definitions that ease the programming in C99, aka C 1999. By using new tools from C99 we implement default arguments for functions, scope bound resource management, transparent allocation and initialization, ...
Updated -
dynres / applications / DynPetsc
BSD 2-Clause "Simplified" LicenseUpdated -