Projects in Awesome Lists by DistributedComponents
A curated list of projects in awesome lists by DistributedComponents .
https://github.com/distributedcomponents/disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
coq coq-library distributed-systems mathcomp proof separation-logic ssreflect two-phase-commit
Last synced: 28 Jan 2025
https://github.com/distributedcomponents/verdi-lockserv
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
coq distributed-systems mutual-exclusion proof verdi
Last synced: 01 Dec 2024
https://github.com/distributedcomponents/infseqext
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
coq coq-library ltl modal-logic proof temporal-logic
Last synced: 01 Dec 2024
https://github.com/distributedcomponents/verdi-chord
An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
Last synced: 01 Dec 2024
https://github.com/distributedcomponents/coqproject
Bash script for simple generation of Coq project metadata files
Last synced: 01 Dec 2024
https://github.com/distributedcomponents/verdi-runtime
Verdi framework runtime library
network-library ocaml ocaml-library runtime-system verdi
Last synced: 01 Dec 2024
https://github.com/distributedcomponents/verdi-aggregation
An implementation of a distributed aggregation protocol, verified in Coq using the Verdi framework
Last synced: 24 Mar 2025
https://github.com/DistributedComponents/verdi-cheerios
A verified system transformer for serialization of Verdi systems using the Cheerios library.
coq coq-library proof serialization verdi
Last synced: 10 Mar 2025
https://github.com/distributedcomponents/opam-repository-dev
Distributed Components development package repository for OPAM
Last synced: 01 Dec 2024
https://github.com/distributedcomponents/opam-repository
Distributed Components package repository for OPAM
Last synced: 24 Mar 2025
https://github.com/distributedcomponents/opam-repository-coq-dev
Distributed Components Coq development package repository for OPAM
Last synced: 01 Dec 2024