Stargazers
- abdoo8080
- alcidesLASIGE, University of Lisbon
- alexjbestKing's College London
- alexkeizerUniversity of Cambridge
- awalterschulzeMeta
- beike-zh
- bmorphism@plurigrid
- bolluUniversity of Cambridge
- dranovSingapore
- emeinhardt
- fpvandoornUniversity of Paris-Saclay
- goensUniversity of Amsterdam
- hargoniXLean FRO
- huynhtrankhanh@coq-community
- iehalityTohoku University
- intsucJapan
- joehendrixPrincipal Research Software Engineer at Lean FRO
- joewatt95
- KiiyyaPortland, Oregon, USA
- leodemouraAWS
- MATRIXKOO@Vidar-Team @InProgramming
- minalspatilUmeå universitet
- nikitavoloboevTbilisi
- Ninja-mann
- omasanoriJapan, or anywhere else
- Peiyang-SongCalifornia Institute of Technology
- philzook58Draper
- rainoftime
- rami3l
- ramonfmirLondon
- sirinathSakrio!
- smorimoto@ocaml @tc39
- Temperature-block
- TimothyGu@Stripe
- tomaz1502CNRS
- Vtec234Pittsburgh, USA