A framework for prototyping and working with different kinds of automata g github.com 2 hyper_frog 1 year ago 1 comments