AtticusKuhn's Following
- Perspicuous-Computing
- daveshap
- VictorTaelinHigher Order Company
- Abhinandan-Palkolkata
- omelkonianUniversity of Edinburgh
- jonwoodruffUniversity of Cambridge
- martinescardoUniversity of Birmingham
- AlgebraicJulia
- rzk-lang
- HigherOrderCO
- AndrasKovacs
- SeungheonOh@mlabs-haskell @Liqwid-Labs
- Gavinok
- papers-we-loveNew York, NY
- lexi-lambdaChicago, IL
- astumpThe University of Iowa
- cedille
- hlissnerToronto, ON
- jespercockxTU Delft
- conal(open to employment)
- agda
- leanprover-community
- plt-amyBrazil
- jonsterlingUniversity of Cambridge
- bsaulChapel Hill, NC
- jkopanski
- ThereIsNoPie
- aoberai
- kbuzzard@ImperialCollegeLondon
- zeorinPixel Theory
- amasadRepl.it
- Ashray-gPalo Alto
- rselwynPalo Alto, CA
- lucamanolache@team8
- unisonweb
- arturo-lang