Skip to content
@DistributedComponents

Distributed Components

Popular repositories Loading

  1. diseldiselPublic

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

    Coq 98 7

  2. InfSeqExtInfSeqExtPublic

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

    Coq 17 4

  3. verdi-lockservverdi-lockservPublic

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

    Coq 14 5

  4. coqprojectcoqprojectPublic

    Bash script for simple generation of Coq project metadata files

    Shell 10 6

  5. verdi-chordverdi-chordPublic

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

    Coq 10 1

  6. verdi-runtimeverdi-runtimePublic

    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 98 BSD-2-Clause 7 0 0 UpdatedJul 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 17 4 1 0 UpdatedJan 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 UpdatedDec 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 UpdatedMay 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 UpdatedFeb 18, 2019
  • distributedcomponents..io Public
    DistributedComponents/distributedcomponents..io’s past year of commit activity
    HTML 0 0 0 0 UpdatedSep 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 UpdatedJan 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 14 BSD-2-Clause 5 0 0 UpdatedOct 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 UpdatedSep 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 UpdatedAug 24, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…