Explore projects
-
Armaël Guéneau / 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
-
Updated
-
tansiv / xen
OtherUpdated -
Updated
-
MICHELLAND Sébastien / itree-ai
GNU General Public License v3.0 or laterAbstract Interpretation with ITrees.
Updated -
Updated
-
SCHERER Gabriel / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
Miticov / mitigating-covid19-outbreaks
GNU General Public License v3.0 onlyThis repository provides the code for reproducing the simulations in https://www.medrxiv.org/content/10.1101/2020.11.09.20228007v1
Updated -
Resources for course MPRI 2-4 on functional programming and type systems.
Updated -
implementation and metatheory of time credits and time receipts in Iris / Coq
Updated -
memcad / clangml-transforms
BSD 2-Clause "Simplified" LicenseUpdated -
skeletons / Lambda Abstract Machine
GNU General Public License v3.0 onlyUpdated -
CHAVANON Clement / PfComp
MIT LicenseUpdated -
This platform gives tools to manipulate Sanskrit data
Updated -
hol-light-isabelle / hol-light
BSD 2-Clause "Simplified" LicenseUpdated -
BOUR Frederic / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
POTTIER Francois / oma
GNU Library General Public License v2 onlyUpdated -
Thierry Martinez / coq
GNU Lesser General Public License v2.1 onlyUpdated