Explore projects

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

The MorphoNet Unity git

Mirror for CI/CD purposes only.

Dense linear algebra subroutines for heterogeneous and distributed architectures

MorphoNet Python API

IUA Simulator

This project is aiming to explore fmri worklows, it is querying Github with PyGithub, a python wrapper for GitHub REST API.

Contains the code for the webinterface of botascopia

Mirror for CI/CD only

ESP32 firmware providing a REST API for controlling the galileo science outreach setup

ESP32 firmware providing a REST API for controlling the GPIO interface and higher functions

Builds multi-language packages and related documentation

The AIDE project software development bundle