Mentions légales du service
Samifier is a decision support tool as a web service to help biologists to normalize metabolic identifiers. This repository contains the Docker Image to easily deploy the Samifier platform.
Project for modelling CPU caches based on a simple benchmark
The Massively Parallel Hybrid Solver (Maphys) aims at solving large sparse linear systems using hybrid direct/iterative methods.
Framework de construction de clés usb bootables.
Parallel Algebraic Domain Decomposition for Linear systEms (Paddle)
Project for simulating performance on distributed openQCD code using SimGrid framework
This repo is DEPRECATED. Please use knot, the successor of assembly_report https://gitlab.inria.fr/pmarijon/knot
Perfect SImulator for Markov chains
THEMIS Artifact Repository for ISSTA 2017 paper: Monitoring Decentralized Specifications
An index for labeled sequences
Packaging for Debian of the r CRAN ascii package.