Popular repositories Loading

1. DigitalSelf DigitalSelf Public

   Forked from ameliemarian/DigitalSelf

   Python 1 1

2. TrustInSoft TrustInSoft Public

   1 48

3. KPHP KPHP Public

   Forked from dfilaretti/KPHP

   An Executable Formal Semantics for PHP 5

   PHP

4. libxml2 libxml2 Public

   Forked from monate/libxml2

   Read-only mirror of https://gitlab.gnome.org/GNOME/libxml2

   C

5. why3gospel why3gospel Public

   Forked from ocaml-gospel/why3gospel

   A Why3 plugin able to read and translate Gospel specifications, in view of refinement proofs of Why3 programs.

   OCaml

6. vocal vocal Public

   Forked from ocaml-gospel/vocal

   Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.

   OCaml