Coq Distributed Systems

Open-source Coq projects categorized as Distributed Systems
Edit details
coq Consensus Proof Key-Value separation-logic
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Top 3 Coq Distributed System Projects

Coq logo
Distributed Systems

  1. verdi-raft

    An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  2. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  3. toychain

    A minimalistic blockchain consensus implemented and verified in Coq

  4. disel

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

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Coq Distributed Systems discussion

Log in or Post with

Coq Distributed Systems related posts

  • A minimalistic blockchain consensus implemented and verified in Coq

    1 project | news.ycombinator.com | 4 Mar 2021

Index

What are some of the best open-source Distributed System projects in Coq? This list will help you:

# Project Stars
1 verdi-raft 198
2 toychain 113
3 disel 100

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Loading...