GitHub repository: pfg666/dot-parser
Primary language: Java
Description: Parses from .dot FSM models corresponding automatalib instances.