Top 5 Coq Distributed System Projects
-
Verdi — a framework for implementing and formally verifying distributed systems (based on Coq).
-
InfluxDB
Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
-
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
-
-
disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Diesel — a framework for implementation and compositional machine-assisted verification of distributed systems and their clients (based on Coq);
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Coq Distributed Systems discussion
Coq Distributed Systems related posts
Index
What are some of the best open-source Distributed System projects in Coq? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | verdi | 580 |
| 2 | verdi-raft | 181 |
| 3 | toychain | 112 |
| 4 | disel | 94 |
| 5 | aneris | 31 |
Sponsored