Phil Freeman
paf31
Original developer of the PureScript compiler, author of http://leanpub.com/purescript, Haskeller, PLT enthusiast.
Los Angeles, CA
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Sam Tobin-Hochstadt
samth
I'm an associate professor at Indiana University, and a core developer of @racket.
PLT @ Indiana University Bloomington, IN
Tony Garnock-Jones
tonyg
I am migrating almost all of my original projects to my personal forgejo instance, https://git.leastfixedpoint.com/ - this account is largely vestigial now.
Maastricht, Netherlands
Joe Politz
jpolitz
Most of my Github activity is related to my courses (see my website for details), the Pyret programming language, and various research efforts.
UC San Diego CA
Edgar Marca
matiskay
Doing security things by day and doing things with data and crafty stuff by night.
Arequipa, Perú