konnov/fault-tolerant-benchmarks konnov/fault-tolerant-benchmarks

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language F*
  • License
    Other
  • Created about 10 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
konnov/fault-tolerant-benchmarks
github

konnov

Reviews

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

Repository Details

Fault-tolerant distributed algorithms encoded in a formal language

More Repositories

1

bymc

Byzantine model checker
C
20
star
2

protocols-made-fun

Protocols made fun: Igor's blog
HTML
6
star
3

tlaki

TLAki: Little cute typed definitions in TLA+
TLA
5
star
4

apalache-examples

Examples of efficiently using Apalache
TLA
2
star
5

apalache-blog

Using TLA+ and Apalache
1
star
6

tlaplus-highlightjs

Syntax highlighting for TLA+ in highlightjs
JavaScript
1
star
7

konnov.github.io

Igor Konnov's page
HTML
1
star