All Git Users → stateright

1 open source projects by stateright

[ Open user page on Github ]

A model checker for implementing distributed systems.

✭ 213

rust distributed-systems actor-model

1-1 of 1 user projects