GitHub repository: whitemech/LTLf2DFA
Primary language: Python
Description: From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)