cmcmA20's Following
- 20squares
- adriengFrance
- alexarice
- alliouxParis, France
- alt-romesWell-Typed LLP @ GHC Team
- amblafontEcole Polytechnique
- astumpThe University of Iowa
- awswanUniversity of Ljubljana
- ayberktUniversity of Birmingham
- DanielRrrNoeon Research
- dfirsov
- digama0Chalmers University of Technology
- Educorreia932freiheit.com
- flupeTU Delft
- fredefoxPenneo
- hmltn-0Hamilton, Inc.
- HuStmpHrrrAWS
- IanRay11
- iwilareTallinn University of Technology
- jpoiretEurope
- lnmangioneAppRoar Studios
- loic-p
- marcinjangrzybowski
- MaximIgitovСанкт - Петербург
- maxsnewUniversity of Michigan CSE
- mechvel
- ncatlab
- pedagand
- peterlefanulumsdaineStockholm University
- phadejWell-Typed LLP
- sattlerc
- sheaf
- szumixie
- TiarkRompfFaculty at Purdue University
- ToposInstitute
- tschrijv