#
Starred repositories
6
stars
written in Coq
Clear filter
Cryptographic Primitive Code Generation by Fiat
A framework for formally verifying distributed systems implementations in Coq
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Kami based processor implementations and specifications
