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]