Pinned Loading

1. typed-fsm typed-fsm Public

   A fully type-safe finite state machines

   Haskell 19 2

2. typed-session typed-session Public

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

   Haskell 13

3. polystate polystate Public

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

   Zig 221 3

4. polysession polysession Public

   A multi-role communication protocol framework.

   Zig 2

5. polystate-examples polystate-examples Public

   Examples for polystate.

   Zig 7

6. ray-game ray-game Public

   Explore the limits of polystate

   Zig 6