GitHub repository: EmileRolley/ltl2ba
Primary language: OCaml
Description: Compiler of LTL formula to Büchi automata