Explore projects
-
Updated
-
EMA is the LHS' platform for EM signal analysis. This repo contains code and documentation for this platform.
Updated -
Updated
-
GENESTIER Guillaume / Verifisc-python
GNU General Public License v3.0 onlyPrototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.
Updated -
-
LEFEVRE Vincent / paritwine
GNU General Public License v2.0 or laterPariTwine is a glue library between the system for computer algebra and number theory PARI/GP and a number of other mathematics libraries.
Updated -
EMA is the LHS' platform for EM signal analysis. This repo contains code and documentation for this platform.
Updated -
-
Raphaël Jakse / aude
GNU General Public License v3.0 onlyAude is a tool for learning and teaching finite state machines. Aude lets teachers and student run words, execute and write custom algorithms and draw automata.
Updated -
-
-
PARREIRA PEREIRA Mário José / 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 -
Thierry Martinez / redirect
BSD 3-Clause "New" or "Revised" LicenseOCaml library for channel redirection
Updated -
monitoring / verde
OtherUpdated -
Updated
-
Updated
-
MULLER Gilles / schedlog
OtherUpdated -
ESP32 firmware providing a REST API for controlling the devices installed in the escape game rooms.
Updated