GitLab

RefacCert is a project to build a "proven correct" refactoring tool for C source code.

A generic testing approach for a wide range of executable DSLs based on the TDL standard testing language

Snakemake for 3' Sequencing RNA Profiling analysis. https://bio.tools/3SRP

Florilège est un projet français d'annotation participative de RELs (Ressource Educatives Libres).

A Q-routing implementation for the network simulator Qualnet

Creation of a mobile application for sharing video content that respects certain standards. Free non-profit application.

RNAseq pipeline for gene expression quantification.

Show README.md & HEADER.md in the file view of NextCloud

Declaratively add interactions to SVG file - runtime and editor

The Mimosa solver for exact sparse linear (quadratic) regression resolution repository.

Supports de présentations CSI 2022

Configure and install services like Azog server configuration

Planetary science informatics and data analytics conference / June 21-23 / ESAC Madrid

Orientation active (Kosmos)