teocomp (pypi): TeoComp is a library for teaching Automata Theory, Languages and Theory of Computing.
Keywords: Theory|of|Computing|Automata|Languages|Lambda-Calculus|Recursive|Function|(Kleene)|Teaching|Educational|Software