Explore projects

Mimoza combines the model generalization method with the zooming user interface (ZUI) paradigm and allows a human expert to explore metabolic network models in a semantically zoomable manner.

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.

A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.

Extensions of GNU Guix for high-performance computing.

Development of ATSyRA 2 plugins and Studio

A Dockerisation of Sofia

Deep learning for Hyperspectral imagery.

PyTorch implementation of several state-of-the-art 3D CNN on multiple public hyperspectral datasets.

Biopax data translation (http://biopax.org) to Cabiom model (http://cadbiom.genouest.org).

docker for OpenSoT

Test des fonctionnalités du wiki

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

Make Inkscape available from Docker image.

The macOS version is rather crappy-looking and running it from a Docker container which embeds an Ubuntu is actually much better.

A container to enable Laby access.

Laby is not foreseen to run on macos but may be run from a Docker instance running an Ubuntu.

A dockerfile which installs libscapi library