A tool that can be used to learn state machines from implementations. - View it on GitHub