GitHub repository: whitemech/logaut
Primary language: Python
Description: LOGics formalisms to AUTomata