Explore projects
-
-
Updated
-
Updated
-
COMMA / glf-demo-lfmtp2019
GNU General Public License v3.0 or laterDemo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.
Updated -
Updated
-
Ulrich Rabenstein / Semanticextraction
GNU General Public License v3.0 onlyUpdated -
Updated
-
Updated
-
This is the frontend repository where issues and wikis regarding the Sally4 project are hosted.
Updated -
Theresa Pollinger / MoSIS
MIT LicenseArchived 0Updated -
Updated
-
-
An attempt at a new KWARC web site based on the one from OpenDreamKit
Archived 0Updated -
Tom Wiesing / AnnotationMockup
MIT LicenseUpdated -
-
Updated
-