Stargazers
- adrianmartir
- anfelorEdinburgh, UK
- bctnryDublin, Ireland
- c-cubeImandra (@imandra-ai)
- cgbsu
- cpresseyOffice... submarine!
- ebigram
- EdvardHolden
- filipbartek@cvut
- hangingmanKanagawa, Japan
- henrylaohttps://www.henrylao.com/
- hidarisnobody
- huynhtrankhanh@coq-community
- hvanz@informalsystems
- JakobRTU Wien
- jianantian
- jonathan-laurentCarnegie Mellon University
- KraksINRIA/ENS; Tufts
- lonsing
- lorenzleutgebMax Planck Institute for Informatics
- martinodb
- merbst@DandelionLabs Foundation Internet Literacy Mentoring Inspiring Collaboration Across Oceans with Open Content
- nolze
- philzook58Draper
- Pierre-Bartet
- rainoftime
- rrmheartsDayton, OH
- SethPoulsen@UtahState
- stjordanisGreece
- stkstoyanov
- svanderbleek@pantheon-systems
- TheFloatingBrainGCG Games
- thiagoalvesifce
- Wamadahama
- yakazimirThe Allen Institute for Artificial Intelligence (AI2)
- yihozhangSeattle