Explore projects
-
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 -
Thierry Martinez / coq
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
MARTINOT Olivier / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
-
POTTIER Francois / sequel
GNU General Public License v3.0 or laterA complement to OCaml's Seq.
Updated -
-
Updated
-
-
-
OBSOLETE: the Grew library is now maintained on https://github.com/grew-nlp/grewlib
Updated