Explore projects
-
implementation and metatheory of time credits and time receipts in Iris / Coq
Updated -
Updated
-
Separation Logic with Characteristic Formulae Entirely within Coq
Updated -
Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
Updated -
-
-
-
Primary library for necro, and standard tools (parse, print and compil)
Updated -
Static analyzers for higher-order languages
Updated -
Updated
-
Updated
-
Updated
-
Verifiable online voting system http://www.belenios.org
Updated -
Updated
-
-
-
This platform gives tools to manipulate Sanskrit data
Updated -
An LR(1) parser generator for OCaml.
Updated -
An LR(1) parser generator for OCaml.
Updated -