MMT blends the distinction between users and developers. Some users use a ready-to-go version of MMT, while others customize MMT with extensions, e.g., for new language features or support for external formats. The following typical use/development modes can be distinguished.
All MMT functionality is language-independent. Therefore, users can use MMT directly by defining their desired language in MMT:
MMT includes several main [applications] that are ready-to-use. User-oriented documentation is growing, and good starting points are the [setup] instructions and the [tutorials].
The best to reach the main developers for support is via the gitter chatroom.
The MMT code (written in Scala) is designed to be as extensible and customizable as possible. Therefore, you can build your own applications on top of MMT (without recompiling MMT).
MMT-based applications can be written in two ways:
Include the MMT API (
mmt.jar) in your project.
MMT is written and Scala, and working with Scala is recommended. Alternatively, Java or any JVM-compatible language can be used.
Use any other programming language and communicate with MMT via the HTTP API. If you use Python, use the MMTPy project, which builds Python wrappers for the HTTP API.
Ultimately, MMT is a comprehensive research project about how to organize knowledge. Therefore, it is never complete and can always be improved and extended.
MMT is open to the community, and access to the GitHub repository is given generously. Interested developers are advised and encouraged to contact the core contributors directly in the gitter chatroom.