Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 7 Distributed Systems Coq Open Source Projects

Open source projects categorized as Distributed Systems Coq
Categories > Software Architecture > Distributed Systems
Verdi ⭐ 559
A framework for formally verifying distributed systems implementations in Coq
most recent commit 5 months ago
Verdi Raft ⭐ 175
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
most recent commit 5 months ago
Toychain ⭐ 103
A minimalistic blockchain consensus implemented and verified in Coq
most recent commit 4 years ago
Disel ⭐ 92
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
most recent commit a year ago
Chapar ⭐ 32
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
most recent commit 4 months ago
Aneris ⭐ 27
Program logic for developing and verifying distributed systems
most recent commit 3 months ago
Verdi Lockserv ⭐ 9
An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
most recent commit 7 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.