An RML implementation of Babelsberg's Natural Semantics, available here.

You need to git submodule init && git submodule update to clone the rml source tree. Follow the INSTALL file in the rml subdirectory to build rml (Note that running make install as non-root will suffice - you do not need to install it globally.)

This project uses Ruby's rake build tool to build and run the examples, but you can also just go into the subdirectories for the various implementations directly to build and run them from there using ordinary Makefiles.

This work is licensed under 3-clause BSD

Created under a grant from Hasso Plattner Institute