Stargazers
- a-nikolaev
- brendanzab@yeslogic
- c-cubeImandra (@imandra-ai)
- chengchingwen
- cpresseyOffice... submarine!
- cyberglotGlasgow, UK
- dannypsnl@second-state
- ekiwiCornell University
- elegaanzGrenoble, France
- falcowinkler@netlight
- FedericoAurelianoUniversity of California, Berkeley
- felko
- gebnerMicrosoft Research
- HackerFooHackerFoo Heavy Industries
- ichistmeinname@Cap3
- ilya-klyuchnikov@facebook
- jaalonsoUniversidad de Sevilla
- joom@Bloomberg
- KleidukosMontreuil
- leostera@AbstractMachinesLab
- mattearnshawTallinn University of Technology
- MesablooFrance
- mseriRijksuniversiteit Groningen
- NakilonMoscow, Russia
- odanobururio
- ofstrings2GCAS Research Institute
- paulyoung@codebase-labs
- savi2w@creme-tech
- shiyaz
- smorimoto@ocaml @tc39
- tkersey@thisisartium
- ur5usUnfolding Web
- V-WongAtlassian
- vjackson725
- yenwelEvergem
- zilincGhost Autonomy Inc.