Stargazers
- acorrensonENS Rennes, Saarland University, CISPA
- alt-romesWell-Typed LLP @ GHC Team
- amadeusine〇〇県、東アジア
- amirDublin, Ireland
- AMPAlvesFaculdade de Ciencias e Tecnologias da Universidade Nova de Lisboa
- anton-trunovTON Foundation
- ArmaelInria
- artob@AsimovPlatform
- backtracking
- c-cubeImandra (@imandra-ai)
- Cjen1
- cometkim@daangn
- d4hinesBrightSpec
- dannypsnl@second-state
- Diogo-PaulicoFCT - Universidade Nova de Lisboa
- doctor-pi
- ejmg
- fabiensironEpita
- FranciscoSimao11NOVA-FCT
- ghuysmans@isfath
- JeffCarpenterCanada
- Julow@tarides
- lehy
- leonardolimaDenmark
- Lisprez
- mseriRijksuniversiteit Groningen
- mukeshtiwariSwansea
- nikitavoloboevTbilisi
- philzook58Draper
- samoht@tarides
- smondetNew York, NY
- smorimoto@ocaml @tc39
- talex5
- TheLortexÉcole Normale Supérieure
- ur5usUnfolding Web
- xldenisETHZ