Choreo: choreographies with strong choice and loops This project presents an animator of Choreo with prototype analysis tools. A snapshot of a visualiser can be found online: http://arcalab.github.io/choreo/ How to compile local javascript Pull the git submodules: git submodule update --init Compile with sbt: sbt fastLinkJS