Stargazers
- 23Skidoo@primait
- brandonbloomSeattle, WA
- cderooveSoftware Languages Lab, Vrije Universiteit Brussel
- charmpitzBucharest, Romania
- chathhorn
- cherry-wb
- chubbymaggie
- cosUniversity of Illinois
- daniel-ionut-vicol
- denis-bogdanasIasi, Romania
- ellisonchNew York, NY
- EmmanuelOgaGoogle
- fabricelealLeiria, Portugal
- graydonVancouver, BC
- grosuUniversity of Illinois at Urbana-Champaign
- heimp
- igorw
- imfangs
- jdpLiveLike
- joleuger
- josgrahaNYC
- KokaKiwi@Qonfucius
- kuzy000
- liblit
- mrbReify
- osa1
- radumereutaRuntimeVerification
- rintciusGroningen, The Netherlands
- ShadowCreator
- silviuburceadevCognizant
- sirinathSakrio!
- swannodetteNew York
- tca
- UniQP
- vlad-doruGoogle
- xandmagaTribunal de Justiça de Minas Gerais