Pinned Repositories
coq-parser-validator
Standalone version of CompCert's parser validator Coq library as used by the Menhir parser generator
coqproject
Bash script for simple generation of Coq project metadata files
disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
InfSeqExt
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
opam-repository-dev
Distributed Components development package repository for OPAM
verdi-aggregation
An implementation of a distributed aggregation protocol, verified in Coq using the Verdi framework
verdi-cheerios
A verified system transformer for serialization of Verdi systems using the Cheerios library.
verdi-chord
An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
verdi-lockserv
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
verdi-runtime
Verdi framework runtime library
Distributed Components's Repositories
DistributedComponents/disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
DistributedComponents/InfSeqExt
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
DistributedComponents/verdi-lockserv
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
DistributedComponents/coqproject
Bash script for simple generation of Coq project metadata files
DistributedComponents/verdi-chord
An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
DistributedComponents/verdi-runtime
Verdi framework runtime library
DistributedComponents/verdi-aggregation
An implementation of a distributed aggregation protocol, verified in Coq using the Verdi framework
DistributedComponents/coq-parser-validator
Standalone version of CompCert's parser validator Coq library as used by the Menhir parser generator
DistributedComponents/opam-repository-dev
Distributed Components development package repository for OPAM
DistributedComponents/verdi-cheerios
A verified system transformer for serialization of Verdi systems using the Cheerios library.
DistributedComponents/discoberry-farm
DistributedComponents/distributedcomponents.github.io
DistributedComponents/opam-repository
Distributed Components package repository for OPAM
DistributedComponents/opam-repository-coq-dev
Distributed Components Coq development package repository for OPAM