This is the reference implementation of the automaton Jaccia. It is a formal description, written in ALPACA. It is distributed in the Jaccia and Jacciata distribution and it is distributed under the BSD license. Its source file can be found here: https://github.com/catseye/Jaccia/blob/master/src/jaccia.alp.
To run this implementation, you need:
Issue tracker: on github