A set of commonly used widgets written using Qt5.

Speculative task-based runtime system

Biocham-4 sources and CI

Comet is a pipelined RISC-V processor generated with HLS.

Generates a bibliography for our website.

Object/Pattern Detection using a Marked Point Process

mirror of seaview on gitlab LBBE

The OpenViBE extras: Acquisition Server, demos, plugin contributions

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.

In Situ Processing and Analytics Framework

Verifiable online voting system

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

Separation Logic with Characteristic Formulae Entirely within Coq