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).