Skip to content
@stateright

Stateright Actor Framework

Popular repositories Loading

  1. stateright stateright Public

    A model checker for implementing distributed systems.

    Rust 1.5k 55

  2. stateright.github.io stateright.github.io Public

    "Building Distributed Systems with Stateright"

    JavaScript 10 4

Repositories

Showing 2 of 2 repositories
  • stateright Public

    A model checker for implementing distributed systems.

    stateright/stateright’s past year of commit activity
    Rust 1,542 MIT 55 7 6 Updated Jun 3, 2024
  • stateright.github.io Public

    "Building Distributed Systems with Stateright"

    stateright/stateright.github.io’s past year of commit activity
    JavaScript 10 4 0 0 Updated May 28, 2023

Top languages

Loading…

Most used topics

Loading…