GitHub repository: misberner/automatalib
Primary language: Java
Description: A free, open-source Java library for modeling automata, graphs, and transition systems.