@stateright
Guthub

stateright

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,570
  • Global Org. Rank 11,292 (Top 4 %)
  • Registered almost 7 years ago
  • Most used languages
    JavaScript
         50.0 %
    Rust
         50.0 %

Top repositories

1

stateright

A model checker for implementing distributed systems.
Rust
1,558
star
2

stateright.github.io

"Building Distributed Systems with Stateright"
JavaScript
12
star