Repositories list

• disel

  Public

  DistributedComponents/disel’s past year of commit activity
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

  distributed-systemscoqproof+ 5separation-logiccoq-librarytwo-phase-commitssreflectmathcomp

  Coq

  •

  BSD 2-Clause "Simplified" License

  •7•100•0•0•Updated Jul 26, 2024Jul 26, 2024

• InfSeqExt

  Public

  DistributedComponents/InfSeqExt’s past year of commit activity
  A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

  coqproofltl+ 3temporal-logicmodal-logiccoq-library

  Coq

  •4•17•1•0•Updated Jan 7, 2023Jan 7, 2023

• verdi-runtime

  Public

  DistributedComponents/verdi-runtime’s past year of commit activity
  Verdi framework runtime library

  ocamlocaml-librarynetwork-library+ 2runtime-systemverdi

  OCaml

  •

  BSD 2-Clause "Simplified" License

  •2•3•0•0•Updated Dec 16, 2022Dec 16, 2022

• opam-repository-dev

  Public archive

  DistributedComponents/opam-repository-dev’s past year of commit activity
  Distributed Components development package repository for OPAM

  0•1•0•0•Updated May 2, 2019May 2, 2019

• verdi-chord

  Public

  DistributedComponents/verdi-chord’s past year of commit activity
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework

  Coq

  •

  BSD 2-Clause "Simplified" License

  •1•10•6•0•Updated Feb 18, 2019Feb 18, 2019

• distributedcomponents.github.io

  Public

  DistributedComponents/distributedcomponents.github.io’s past year of commit activity
  HTML

  •0•0•0•0•Updated Sep 19, 2018Sep 19, 2018

• coqproject

  Public

  DistributedComponents/coqproject’s past year of commit activity
  Bash script for simple generation of Coq project metadata files

  bashcoqbuild-tools

  Shell

  •6•10•1•0•Updated Jan 19, 2018Jan 19, 2018

• verdi-lockserv

  Public

  DistributedComponents/verdi-lockserv’s past year of commit activity
  An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework

  distributed-systemscoqproof+ 2verdimutual-exclusion

  Coq

  •

  BSD 2-Clause "Simplified" License

  •5•14•0•0•Updated Oct 23, 2017Oct 23, 2017

• opam-repository-coq-dev

  Public archive

  DistributedComponents/opam-repository-coq-dev’s past year of commit activity
  Distributed Components Coq development package repository for OPAM

  0•0•0•0•Updated Sep 25, 2017Sep 25, 2017

• verdi-cheerios

  Public archive

  DistributedComponents/verdi-cheerios’s past year of commit activity
  A verified system transformer for serialization of Verdi systems using the Cheerios library.

  serializationcoqproof+ 2coq-libraryverdi

  Coq

  •0•1•0•0•Updated Aug 24, 2017Aug 24, 2017

• verdi-aggregation

  Public
  An implementation of a distributed aggregation protocol, verified in Coq using the Verdi framework

  Coq

  •

  BSD 2-Clause "Simplified" License

  •0•2•1•0•Updated Aug 5, 2017Aug 5, 2017

• coq-parser-validator

  Public archive
  Standalone version of CompCert's parser validator Coq library as used by the Menhir parser generator

  Coq

  •0•1•0•0•Updated Jul 24, 2017Jul 24, 2017

• opam-repository

  Public
  Distributed Components package repository for OPAM

  0•0•0•0•Updated Jan 19, 2017Jan 19, 2017

• discoberry-farm

  Public
  Shell

  •0•0•0•0•Updated Jan 6, 2017Jan 6, 2017