Experiments with state machines
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
project
src
.gitignore
AUTHORS
LICENSE.txt
NOTICE.txt
README.md
build.sbt
scalastyle-config.xml

README.md

scates

Experiments with statically checking state machines.

  • IxFree is a stack-safe indexed free monad implementation.
  • Sm is a 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.