version 3 implementation of the Fed-BioMed project

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

Verifiable online voting system http://www.belenios.org

Tapenade Automatic Differentiation Engine

PM2: Parallel Multithread Machine (source code)

Python files for simulations of examples in the paper "Robust synchronization via maximal monotone couplings"

A library to build experimental frameworks on multiple platforms

A library to build experimental frameworks on multiple platforms

Juptyter notebooks for use cases using solvers of the nutopy toolbox and bocop code

This directory contain the workflow in CWL

The OpenViBE extras: Acquisition Server, demos, plugin contributions

The OpenViBE SDK (certifiable perimeter). This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

The OpenViBE Designer project. This mostly read-only repository clones the master branch of a different origin where the actual work is done. Normally there should be no other branches in this clone.

new location: https://github.com/KaMI-tools-project/KaMI-app

new location: https://github.com/KaMI-tools-project/KaMi-lib

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

This package has been developed for computing exact distances, without heuristics, between all pairs of reads of a NGS sample. This is a first step for supervised or unsupervised clustering of reads in an environmental sample.