Coq Distributed Systems

Open-source Coq projects categorized as Distributed Systems
Edit details
Topics: coq Consensus separation-logic Iris Proof
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

  • verdi-raft

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

  • toychain

    A minimalistic blockchain consensus implemented and verified in Coq

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • aneris

    Program logic for developing and verifying distributed systems

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 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 177
2 toychain 110
3 aneris 31

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