afonsonf/ceph-consensus-spec afonsonf/ceph-consensus-spec

  • Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language TLA
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
afonsonf/ceph-consensus-spec
github

afonsonf

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

TLA+ specification of the Ceph consensus algorithm

More Repositories

1

tlaplus-graph-explorer

A static web application to explore and animate a TLA+ state graph.
JavaScript
196
star
2

tlaplus-html-examples

Example usages of the HTML.tla module
2
star