Explore projects
-
-
Updated
-
Updated
-
Updated
-
-
-
A bite-sized fragment of the MML used for Testing and Development This is old work by among other Mihnea Iancu, which was superseded by the new export in the same repository group.
Archived 0Updated -
-
Updated
-
-
Shabbar Raza's code for finding alignments based on matching names.
Updated -
Archived 0Updated
-
-
Updated
-
EXPERIMENTAL: Requriements Analysis for a future Foundation for MitM.
Updated -
-
-
-
-
The MMT formalizations for the very first FrameIT prototype by Dennis Rochau. This is Obsolete by now.
Archived 0Updated