Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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.
Updated -
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)