Popular repositories Loading

1. disel disel Public

   Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

   Coq 98 7

2. InfSeqExt InfSeqExt Public

   A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

   Coq 17 4

3. verdi-lockserv verdi-lockserv Public

   An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework

   Coq 14 5

4. coqproject coqproject Public

   Bash script for simple generation of Coq project metadata files

   Shell 10 6

5. verdi-chord verdi-chord Public

   An implementation of the Chord lookup protocol verified in Coq using the Verdi framework

   Coq 10 1

6. verdi-runtime verdi-runtime Public

   Verdi framework runtime library

   OCaml 3 2