durban / scates

Experiments with state machines

scates

Experiments with statically checking state machines.

• IxFree is a stack-safe indexed free monad implementation.
  • Examples from the Lambda Days 2019 presentation:
    • free monad version
    • indexed state monad version
    • indexed free monad version
  • Presentation slides (PDF)
• Sm is a more capable utility for working with FSMs, built on IxFree.
• St is an experiment with an alternative representation (currently it doesn't work).

License

scates is open source software under the Apache License v2.0. For details, see the LICENSE.txt, NOTICE.txt, and AUTHORS files.