Skip to content
View sdzx-1's full-sized avatar

Block or report sdzx-1

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. getz3/polyrole getz3/polyrole Public

    Multi-role finite state machine

    Zig 29 2

  2. polyrole-cs polyrole-cs Public

    client-server

    Zig

  3. getz3/polystate getz3/polystate Public

    Build type-safe finite state machines with higher-order states.

    Zig 235 5

  4. typed-session typed-session Public

    A fully type-safe multi-role communication protocol framework.

    Haskell 13

  5. getz3/z3 getz3/z3 Public

    The Zig S3 Server

    Zig 12 4