Explore projects
-
Updated
-
-
Updated
-
-
POTTIER Francois / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
MONTAGU Benoit / coral
CeCILL-C Free Software License AgreementStatic analyzers for higher-order languages
Updated -
coccinelle / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
-
-
Repository for the article about ocamlp3l for the ReScience 10 years reproducibility challenge
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 -
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 -
Maxime Dénès / coq
GNU Lesser General Public License v2.1 onlyMirror of the git repository of Coq now hosted at https://github.com/coq/coq (synchronized every 15min)
Updated -
Generate a graph of dependencies between declared values in a Skel semantics
Updated -
-
-
Thierry Martinez / pattern
BSD 2-Clause "Simplified" LicensePPX extension that generates functions from patterns that explain match failures by returning the common context and the list of differences between a pattern and a value.
Updated -
DE SOUZA Corentin / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
Formally verified ML implementation of Knuth's Dancing Links algorithm, using CFML.
Updated