svladykin's Stars
aphyr/meangirls
Convergent Replicated Data Types
apache/ignite
Apache Ignite
uwplse/verdi
A framework for formally verifying distributed systems implementations in Coq
Convergent Replicated Data Types
Apache Ignite
A framework for formally verifying distributed systems implementations in Coq