softlang
Popular repositories Loading
Repositories
Showing 10 of 16 repositories
- megaemf Public
Reproducible construction of EMF technology models as described in the paper (http://www.jot.fm/contents/issue_2020_02/article8.html).
- megaaxioms Public
Implementing a revised axiomatization based on http://softlang.uni-koblenz.de/megaaxioms/