Explore projects

Seed detection in metabolic networks using both logic programming and linear programming.

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

🐸 https://ribbit.gitlabpages.inria.fr/ribbit/ 🐸

An OCaml library that provides facilities for memoization and fixed points.

Containerized documentation of customer environments

initially called genbenchs

🐸 https://ribbit.gitlabpages.inria.fr/ribbit/ 🐸

Documentation of the gym-dssat OpenAI gym environment.

A simple test platform for Comet

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.