| Projects |
|---|
| Role | Project | Summary |
|---|---|---|
| Owner | c-semantics | Semantics of C in the K Framework |
| Owner | esolang-semantics | Formal semantics of esoteric programming languages |
| Owner | k-framework | The K Semantic Framework |
| Owner | matching-logic | Matching Logic |
| Starred by cmelliso |
|---|
| Type | Name | Summary |
|---|---|---|
| Project | esolang-semantics | Formal semantics of esoteric programming languages |