ucsd-progsys/liquidhaskell Stargazers
- Gideon Sirelingaccursoft
- Adam Kuipersadamkuipers
- Aleksandr Voikovadzeitor
- Alan Zimmermanalanz
- Adam Wagnerawagner83
- Egorbatonius
- Carter Tazio Schonwaldcartazio
- Christopher C. Aycockchrisaycock
- Dominik Böhlerdominikb1888
- David Van Horndvanhorn
- EJahren
- Eric Christiansenemchristiansen
- Fogusfogus
- George Leontievfolone
- Filip Kotovfvh
- Eric Seidelgridaphobe
- Jim Fisherjameshfisher
- jmonday
- Jared Roeschjroesch
- jwistaria
- Kenn Knowleskennknowles
- Harrison Klapermanklaperman
- Lee Pikeleepike
- poginpogin503
- Reto Kramerret
- Sam Tobin-Hochstadtsamth
- Stephen Diehlsdiehl
- Sami Hangaslammishangaslammi
- Shayan Najdshayan-najd
- Aistis Raulinaitissheganinans
- Sergey Bsigrlami
- timothytimothyklim
- Lefteris Kritikosu-quark
- Roma Chiweaver-viii
- David E. ShereWollw
- Yiannis Tsiourisyiannist