Skip to content
@stateright

Stateright Actor Framework

Popular repositories Loading

  1. stateright stateright Public

    A model checker for implementing distributed systems.

    Rust 1.6k 58

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

    "Building Distributed Systems with Stateright"

    JavaScript 12 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,594 MIT 58 7 5 Updated Oct 7, 2024
  • stateright.github.io Public

    "Building Distributed Systems with Stateright"

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

Top languages

Loading…

Most used topics

Loading…