GitHub repository: whitemech/lisa
Primary language: C++
Description: This repository presents Lisa, which performs the following functions (a). An LTLf to DFA conversion tool, and (b) An LTLf synthesis tool.