Stargazers
- aa755Miami, FL, USA
- abduld
- amiloradovsky
- ayberktUniversity of Birmingham
- cantora
- chameco@GaloisInc
- colejhudson
- ebigram
- edoak
- Essarelle
- ghosthamletThe Rest Is Silence of Code
- goncalobariasInstituto Superior TĂ©cnico
- jmitchellSeattle
- Jmw150
- jonsterlingUniversity of Cambridge
- jpdoyle
- juanbono@lambdaclass
- lennrtVideoAmp
- mtrsk@Divisions-Maintenance-Group @schonfinkel @Tarski-Labs
- naminHarvard University
- olivierverdierMathematician
- relrod@Ansible @ Red Hat, Inc.
- rgrinbergToronto
- Sanhajio
- scott-fleischman
- shrubbroomShanghai Jiao Tong University
- soraros
- SorinSUK
- supalogix
- vbgl
- xingfeTCentral China Normal University
- zelinskiyOrdo Praedicatorum