• Click on the appropriate link below to download the appropriate binary:
        - Maude Workstation
        - Maude Server

  • These binaries are written in JAVA. In case you don't have the JAVA virtual machine installed in your platform, you can download it from

  • There are also a Maude version for Microsoft Windows using Cygwin. If you want to use it with Maude Workstation, you must download Cygwin or install a little packet with the necessary binaries.
    These binaries are also available below:
        - Maude for Microsoft Windows
        - Minimum install of Cygwin