Add PRISM 4.2.1.
Add dk.brics.automaton 1.11-8.
Add libalf-0.3.

This is compiled by GNU GCC.
Add libmVCA-0.3, a C++ library for visibly one-counter automata.
Add liblangen-0.3.

liblangen is a C++ library for generating (regular) languages by means
of randomly drawn finite automata or regular expressions.
Add libAMoRE-0.3.

libAMoRE is a comprehensive automata library written in C.