Stargazers
- 4ad@cue-lang
- AlphaHot// TODO
- awarebayes
- BinderDavidUniversität Tübingen
- breandan@mila-iqia
- brendanzab@yeslogic
- DSroDPrague
- dvdvgt127.0.0.1
- felko
- FranchuFranchu
- H-Yulong
- hiroki-chenUnemployed
- imaqtkatt@HigherOrderCO
- JBetz
- jiribenesUniversity of Tübingen, @se-tuebingen
- KraksINRIA/ENS; Tufts
- liesnikov
- lotusprey
- MangoIVLeipzig, Germany
- marvinborner@effekt-lang
- mkhan45
- noughtmareNetherlands
- op8867555Taipei, Taiwan
- phischu
- qsctr@GaloisInc
- secondwtqSichuan University
- segeljaktKTH Royal Institute of Technology
- serkmTU-Berlin
- shparkSeoul, Korea
- simmsb@artificialio
- sourcedennis@tudelft-pl
- thwfhkThe University of Edinburgh
- tkersey@thisisartium
- unnirTübingen
- xubaiwACEM, SJTU
- yzyzsun@HKUPLG