Explore projects
-
skeletons / Necro Library
GNU General Public License v3.0 onlyPrimary library for necro with standard tools (parse, type check, print, and transform Skeletal Semantics)
Updated -
-
Magnet / CoRTeX
GNU Lesser General Public License v2.1 onlyCoRTex is a LGPL-licensed Python library for Noun Phrase coreference resolution in natural language texts. The version corresponds to a new implementation of the legacy 'cortex' project. Main novelty is the support of the French language.
Topics: coreference_...Updated -
-
-
Updated
-
Updated
-
solverstack / hips
OtherUpdated -
Implementing Bebida over Batsim: HPC and Big data jobs with preemption
Updated -
-
HCL / DeCovA
GNU General Public License v3.0 onlyUpdated -
Updated
-
POTTIER Francois / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
skeletons / Necro Debugger Generator
GNU General Public License v3.0 onlyA generator of debugger for the Skel language for semantics description
Updated -
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 -
Material to reproduce Batsim's first experiment — https://hal.archives-ouvertes.fr/hal-01333471. Moved from https://gforge.inria.fr/projects/expe-batsim
Updated -
This project contains resources and instructions on how to perform a FIT IoT-LAB like deployment including TurtleBot2 robots
Updated -
BERTOT Yves / ProgrammezCoq
Creative Commons Attribution 4.0 InternationalUne description de la programmation en Coq pour un magazine grand public.
Updated