GitLab

Graph clustering package

Virtual Machines and Containers for Melissa Continuous Integration

Large Scale Sensitivity Analysis

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

A Unified Runtime System for Heterogeneous Multicore Architectures

A library to build experimental frameworks on multiple platforms

Code used for the analysis of raw data, model simulation and to generate figures for the article "Using single-cell models to predict the functionality of complex synthetic circuits at the population scale" (2021).

Regroupe toutes les ressources du Mooc : Fiches concept, fiches pédagogiques, ... https://learninglab.gitlabpages.inria.fr/mooc-impacts-num/mooc-impacts-num-ressources

PM2: Parallel Multithread Machine (source code)

A collection of models trained with Kraken for transcription and segmentation

This is the public project for Damaris. In this project the main line of source codes and the latest version of the documentation is stored.

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data