Skip to content

Releases: arcalab/CAOS

Initial release of CAOS

15 Dec 16:30
@joseproenca joseproenca
v1.0.0
e8e39fb
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Initial release of CAOS Latest
Latest

CAOS is a set of Scala libraries used to facilitate the generation of JavaScript-based web frontends that analyse Domain Specific Languages. More specifically, it includes special constructors to facilitate (1) the generation of mermaid diagrams, (2) the evolution in time for given SOS semantics, and (3) the comparison of terms via language equivalence and bisimulation.

Assets 2
Loading