maude

reflective language for equational and rewriting logic specification
http://maude.cs.illinois.edu

Current version
2.7.1

Revision: 1

maude requires the following formulae to be installed:
gmp 6.1.2_1 GNU multiple precision arithmetic library
libsigsegv 2.11 Library for handling page faults in user mode
libtecla 1.6.3 Command-line editing facilities similar to the tcsh shell
flex 2.6.4 Fast Lexical Analyzer, generates Scanners (tokenizers)

Formula history

Jorden Whitefield maude: depend on Flex for Linux