Explore projects
-
-
Yann REGIS-GIANAS / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
-
Updated
-
Artifact for the Smart Home case study using THEMIS submitted to RV'18: Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes
Updated -
AITE Meziane / padmet
GNU General Public License v3.0 onlyUpdated -
Formally verified ML implementation of Knuth's Dancing Links algorithm, using CFML.
Updated -
-
almanach / Alexina / saldo
GNU Lesser General Public License v2.1 onlyUpdated -
-
-
Tissue Image Toolkit (timagetk) is a Python package dedicated to image processing of multicellular architectures such as plants or animals.
Updated -
ADJIH Cedric / micropython
MIT LicenseUpdated -
ADJIH Cedric / pycom-micropython
MIT LicenseUpdated -
Updated
-
BAUDIN Lucas / 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 -
Updated