Chymyst/curryhoward Stargazers
- aiya000aiya000
- Alexandre Archambaultalexarchambault
- Adam Zellazell
- Filippo Mariottibarambani
- Alex Gryzlovclayrat
- David Muhrdavnn
- Pawel SzulcEncodePanda
- fan-n-akiyama
- gnaggnoyilgnaggnoyil
- Giovanni Ruggierogruggiero
- Jules Ivanicguizmaii
- HexirpHexirp
- YAMAMOTO Yujiigrep
- Zhihao Zhangizhangzhihao
- David Barrijapgolly
- Jean-Baptiste G.jbgi
- jilenjilen
- kasim
- Hideyuki Uenolettenj61
- Lloydlloydmeta
- Michael Bernadskiymikebern
- Miles Sabinmilessabin
- Martin Mauchnightscape
- Denis Mikhaylovnotxcain
- Odomontois
- Pascal Hofpascalh
- Grigorypomadchin
- Stéphane Derosiauxsderosiaux
- tchigher
- TAKAHASHItkhsh-yt
- Josephtonyslowdown
- Toru NiinaToruNiina
- Evangelos Michelioudakisvagmcs
- Viktor Moskvychwouzar
- kenji yoshidaxuwei-k
- Bay Raktarzraffer