Explore projects
-
Updated
-
This repository contains the MMT-translation of the SoftwareFoundations book.
Updated -
The MMT formalizations for the very first FrameIT prototype by Dennis Rochau. This is Obsolete by now.
Archived 0Updated -
Shabbar Raza's code for finding alignments based on matching names.
Updated -
Updated