dk.brics.automaton  |  dk.brics.grammar  |  dk.brics.schematools
Thor  |  TSCheck  |  JSRefactor  |  Artemis  |  TAJS  |  Java String Analyzer  |  XSLT Validator  |  WARlord  |  XSugar  |  Xact  |  JWIG
MONA  |  PALE

• Home
• Download
• Demo
• Publications

Copyright © 1997-2020 Aarhus University.

This is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License.

• Complete source code: mona-1.4-18.tar.gz
  

The source code has been tested on Linux, Windows (with Cygwin), and OS X. See the README and INSTALL files in the source package for information about compiling MONA. (Note for OS X users: if you encounter an error "dyld: Symbol not found: _guide" during installation, try running 'make install' instead of 'make install-strip'.)

• For developers: MONA on github (note: the files on github are not timestamped, so building MONA from those files require autoconf, automake, etc.)
• Executable for Windows: mona.exe (1.4-13), cygwin1.dll
• monaviewer-1.0.tar.gz - a Java tool for viewing MONA formulas as tree structures (by Patrick Lam)
• monagui-1.0.tar.gz - a GUI for editing and processing MONA formulas (by Michael Kruse)