Fuzzing infrastructure for an implementation of sequences.

Spack package to install Pufferbench

Instruction for repetition of analysis for paper "Assembly graph analysis of fragmented long-read bacterial genome assemblies".

Mirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)

Coq files related to skeletons

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

Quotient summary, version of March 2018

Biocham-4 sources and CI

GitLab page

The OpenViBE extras: Acquisition Server, demos, plugin contributions

megaraid_sas linux driver, out-of-tree module source

This project assemble all components of GeCoS to provide a composite product, installer, p2 update site and target definitions

INF555 repo

Version 2 of the Cytoneme Project

Deep learning for Hyperspectral imagery.

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