Explore projects
-
Why3 / why3
GNU Lesser General Public License v2.1 onlyWhy3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
PACE / PACE.jl
MIT LicenseUpdated -
MorphoNet / MorphoNet_Unity
CeCILL Free Software License Agreement v2.1The MorphoNet Unity git
Updated -
The Rocq Prover / The Rocq Prover
GNU Lesser General Public License v2.1 onlyMirror for CI/CD purposes only.
Updated -
Dense linear algebra subroutines for heterogeneous and distributed architectures
Updated -
-
Updated
-
-
ATAY Melvin Selim / crawlFMRIwf
GNU General Public License v3.0 or laterThis project is aiming to explore fmri worklows, it is querying Github with PyGithub, a python wrapper for GitHub REST API.
Updated -
Updated
-
Updated
-
Botascopia / plantinator
GNU General Public License v3.0 or laterContains the code for the webinterface of botascopia
Updated -
Updated
-
-
Updated
-
ESP32 firmware providing a REST API for controlling the galileo science outreach setup
Updated -
ESP32 firmware providing a REST API for controlling the GPIO interface and higher functions
Updated -
-
-
Updated