Skip to content

arcalab/choreo

This branch is 4 commits ahead of master.

Folders and files

NameName
Last commit message
Last commit date
Apr 12, 2022
Oct 19, 2022
Nov 9, 2021
Oct 19, 2022
Apr 30, 2021
May 13, 2021
Apr 30, 2021
May 26, 2022

Repository files navigation

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:

How to compile local javascript

  • Pull the git submodules:

git submodule update --init

  • Compile with sbt:

sbt fastLinkJS

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages