The most useful utility hosted on this website is LyX-GC [github], a grammar checker for LaTeX/LyX documents. The remaining utilities are mostly interesting for fellow researchers:

  • Time Logic Unify – A unified tool to try multiple CTL* tableaux/theorem provers on a single formula. [github]
  • Move Voters – A tool to look for Non-Convergent Nash Equilibriums in Elections. [github]