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