↓Skip to main content

Software Projects

This section is about my involvement in current and previous software projects.

Agda-Material

Denotational Semantics in Agda

Hyperlinked Twins

CBS IDE

Just the Docs

MSOS in Prolog

Action Environment

Prolog MSOS Tool

Maude Action Tool

ASD Tools

1
2
→