Giters
Stateright Actor Framework (stateright)

Stateright Actor Framework

stateright

Geek Repo

Home Page:https://www.stateright.rs

Twitter:@jonnadal

Github PK Tool:Github PK Tool

Stateright Actor Framework's repositories

stateright

A model checker for implementing distributed systems.

Language:RustLicense:MITStargazers:1534Issues:24Issues:31

stateright.github.io

"Building Distributed Systems with Stateright"

Language:JavaScriptStargazers:9Issues:3Issues:0