Skip to content

@DistributedComponents Distributed Components

Change the repository type filter

All

    Repositories list

    14 repositories

    • disel

      Public
      Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
      distributed-systemscoqproofseparation-logiccoq-librarytwo-phase-commitssreflectmathcomp
      Coq
      •
      BSD 2-Clause "Simplified" License
      •7•100•0•0•Updated Jul 26, 2024Jul 26, 2024

    • InfSeqExt

      Public
      A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
      coqproofltltemporal-logicmodal-logiccoq-library
      Coq
      •4•17•1•0•Updated Jan 7, 2023Jan 7, 2023

    • verdi-runtime

      Public
      Verdi framework runtime library
      ocamlocaml-librarynetwork-libraryruntime-systemverdi
      OCaml
      •
      BSD 2-Clause "Simplified" License
      •2•3•0•0•Updated Dec 16, 2022Dec 16, 2022

    • opam-repository-dev

      Public archive
      Distributed Components development package repository for OPAM
      0•1•0•0•Updated May 2, 2019May 2, 2019

    • verdi-chord

      Public
      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
      HTML
      •0•0•0•0•Updated Sep 19, 2018Sep 19, 2018

    • coqproject

      Public
      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
      An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
      distributed-systemscoqproofverdimutual-exclusion
      Coq
      •
      BSD 2-Clause "Simplified" License
      •5•14•0•0•Updated Oct 23, 2017Oct 23, 2017

    • opam-repository-coq-dev

      Public archive
      Distributed Components Coq development package repository for OPAM
      0•0•0•0•Updated Sep 25, 2017Sep 25, 2017

    • verdi-cheerios

      Public archive
      A verified system transformer for serialization of Verdi systems using the Cheerios library.
      serializationcoqproofcoq-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