pywhile (pypi): Implementation of the WHILE programming language for computabiliy introductions.
Keywords: computability|language