Package for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.

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.

MoReFEM core library.

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

Documentation of the Grew software

ProVerif symbolic protocol verifier

implementation and metatheory of time credits and time receipts in Iris / Coq

MoReFEM core library.

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

This is a repository used to store the coverage report as a static webpage

Broceliande aims to use TRISKELE and Random Forest for classification.

It is the use of representation trees of satellite images and decision trees to detect woody features in Europe.

Activity report of Coltellacci Alessio

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

Column generation models for the SFC problem and its many variations