GitHub repository: logics4ai-sapienza/hoa2dot
Description: HOA format to Graphviz DOT translator.