Explore projects

Separation Logic with Characteristic Formulae Entirely within Coq

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

MoReFEM core library.

This library also contains some simple Models to illustrate how to use it, and several integration tests.

FLoRaSat (Framework for LoRa-based Satellite networks) is an Omnet++ based discrete-event simulator to carry out end-to-end satellite IoT simulations based on LoRa and LoRaWAN adaptations to the space domain.

Generic service to manage geo-distributed resources

A library to build experimental frameworks on multiple platforms

Headwork project

Heuristics for Heterogeneous Memory (H2M) - Runtime Library & Examples

Binary analysis program. Looks at a CFG and analyzes its bits.

Asynchronous Contact Tracing project