Explore projects

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

bibtex-sw-entry

CoRTex 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.

Metagrammar of Middle and Old French

fullSAMriboswitch alignment attempts

A generator of debugger for the Skel language for semantics description

Implementing Bebida over Batsim: HPC and Big data jobs with preemption

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

P99 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, ...

Inferring 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

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