redgreen.alp

by Chris Pressey, Cat's Eye Technologies

Try it Online

This is the reference implementation of the automaton REDGREEN. It is a formal description, written in ALPACA. It is distributed in the REDGREEN distribution and it is distributed under the BSD license. Its source file can be found here: https://github.com/catseye/REDGREEN/blob/master/src/redgreen.alp.

Dependencies

To run this implementation, you need: