This is the main repository of the Corinthian Abstract State Machine (CASM) project.
This project is organized as a multi repository project.
Therefore this repository contains all git sub-modules references to
the sub-projects applications, libraries, documentations, plugins etc.
The following table provides a project wide status overview:
| casmi |     |
| casmd |     |
| casmf |     |
| libcasm-fe |     |
| libcasm-ir |     |
| libcasm-tc |     |
| libstdhl |     |
| libpass |     |
| libtptp |     |
Before you consider contributing to any of the casm repositories of
the casm-lang
organization, please read carefully
the contribution guidelines.
Will be announced here.
The copyright holder of
sea is the The SEA Language (@sealangdotorg)
and the used license of
sea is the Mozilla Public License 2.0 (MPL-2.0).