Skip to content

Popular repositories Loading

  1. disel disel Public

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

    Coq 95 7

  2. InfSeqExt InfSeqExt Public

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

    Coq 15 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 13 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

Repositories

Showing 10 of 14 repositories
  • disel Public

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

    DistributedComponents/disel’s past year of commit activity
    Coq 95 BSD-2-Clause 7 0 0 Updated Jul 26, 2024
  • InfSeqExt Public

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

    DistributedComponents/InfSeqExt’s past year of commit activity
    Coq 15 4 1 0 Updated Jan 7, 2023
  • verdi-runtime Public

    Verdi framework runtime library

    DistributedComponents/verdi-runtime’s past year of commit activity
    OCaml 3 BSD-2-Clause 2 0 0 Updated Dec 16, 2022
  • opam-repository-dev Public archive

    Distributed Components development package repository for OPAM

    DistributedComponents/opam-repository-dev’s past year of commit activity
    1 0 0 0 Updated May 2, 2019
  • verdi-chord Public

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

    DistributedComponents/verdi-chord’s past year of commit activity
    Coq 10 BSD-2-Clause 1 6 0 Updated Feb 18, 2019
  • DistributedComponents/distributedcomponents.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Sep 19, 2018
  • coqproject Public

    Bash script for simple generation of Coq project metadata files

    DistributedComponents/coqproject’s past year of commit activity
    Shell 10 6 1 0 Updated Jan 19, 2018
  • verdi-lockserv Public

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

    DistributedComponents/verdi-lockserv’s past year of commit activity
    Coq 13 BSD-2-Clause 5 0 0 Updated Oct 23, 2017
  • opam-repository-coq-dev Public archive

    Distributed Components Coq development package repository for OPAM

    DistributedComponents/opam-repository-coq-dev’s past year of commit activity
    0 0 0 0 Updated Sep 25, 2017
  • verdi-cheerios Public archive

    A verified system transformer for serialization of Verdi systems using the Cheerios library.

    DistributedComponents/verdi-cheerios’s past year of commit activity
    Coq 1 0 0 0 Updated Aug 24, 2017

Top languages

Loading…

Most used topics

Loading…