GitHub repository: wdhg/logiTeX
Primary language: Haskell
Description: a tool to convert a basic custom logic language into LaTeX files