Stargazers
- aantronEudaimonia
- ad-lMicrosoft Research
- alainfrisch@LexiFi
- baldvin@opus-futura
- bikallem@lemaetech
- BruceWayneLinxu
- cedlemoFrance
- Chris00Université de Mons
- clarusFormal Land
- darrenldlAustralian National University
- DeflatedPickle
- djs55Docker Inc
- ForNeVeR@JetBrains
- gfngfnKyoto, Japan
- hackspannerSan Francisco, CA, USA
- josyounOptimoJoe
- junjiexing上海
- Kakadu(ex-)JetBrains Research
- kkirsteinZurich Area, Switzerland
- lcdunstanCubic Transportation Systems
- maelvls@CyberArk
- maronezeCEA LIST
- miaoyinniaohangzhou
- milesxu@MooreThreads
- mseveUniversity of Glasgow
- myd7349
- NewliferYaroslavl
- quicquid
- romildoUFOP
- s-zanellaMicrosoft
- saixmh
- samoht@tarides
- tensor-programming
- valaxyNO WHERE
- waterchip
- wyroverZhengzhou