Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Fay Carsons
FayCarsons
Generative artist, full-stack dev, and musician living in Richmond, Virginia
Virginia
Vaibhav Sagar
vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.
gadigal land/sydney
Kristin Rutenkolk
rutenkolk
CS PhD student at Heinrich-Heine-University. Interested in Formal Methods, Programming languages, specifications(?).
Luc Tielen
luc-tielen
Interested in functional programming, compilers and logic.
Mainly working on Eclair, a high performance Datalog that compiles to LLVM.
Lambda Tech Belgium
Kate
kit-ty-kate
Contractor working on opam (OCaml Package Manager) and making the OCaml ecosystem ready for new versions of the compiler.
@ahrefs @ocaml-sf Glasgow, Scotland
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Yiwei (Yiq-we) Meng
sezryo
I study stochastic analysis and its applications.
DPMMS, Cambridge Cambridge / London
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Ts
McTsts
You can find many of my repos in the @Crowdford and @WerewolvesRevamped organizations.
Germany
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Ben Simms
simmsb
I *will* put rust on your microcontroller, and you *will* enjoy it.
@artificialio Deutschland
PreviousNext