gabrielegenovese - Robuta Search

https://github.com/gabrielegenovese/chorer/ GitHub - gabrielegenovese/chorer: A static analyzer to generate Choreography Automata from Erlang... A static analyzer to generate Choreography Automata from Erlang source. - gabrielegenovese/chorer