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

• Home
• Download
• Demo
• Publications

Copyright © 1997-2011 BRICS.

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-13.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.

• Executable for Windows: mona.exe, 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)