GitHub repository: JavierYuste/equivalent-automatas
Primary language: Python
Description: Checks if two given automatas accept the same languages