Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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
-
-
-
-
Topics: ocean
-
-
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
-