GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ causal-consistency
Top 1 causal-consistency open source projects
chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
✭ 29
Coq
ocaml
shell
Makefile
distributed-systems
key-value
coq
causal-consistency
coq-extraction
docker-coq-action
nix-action
1-1
of
1
causal-consistency projects