abstools/abs-haskell-formal Watchers
- Amund Tveitatveit
- Nikolaos Bezirgiannisbezirg
- Björn PetersenBjoernPetersen
- Einar Broch Johnsenebjohnsen
- eemailme
- emartinm
- jcorreas
- Jesús J. Doménechjesusjda
- James Cloosjhcloos
- Lars Tveitolarstvei
- liz2ta
- Martin SteffenMartinSteffen
- Mikymzamalloa
- Behrooz Nobakhtnobeh
- Radurm2340
- Rudolf Schlatterudi
- vlad-serbanescu
- Volker StolzVolkerStolz