Software engineer. Loves FP Haskell Coq Agda PLT. Always learning. Prior: Economist. Vegan, WOC in solidarity with POC.
- BC, Canada
- https://thealmarty.com/
- @MartyStumpf
Conal Elliott
conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment) San Andreas, California, USA
Sandra Dylus
ichistmeinname
holds PhD in PL; likes functional programming languages
@Cap3 Germany, Kiel
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
Jason Gross
JasonGross
Machine Intelligence Research Institute Berkeley, California, United States
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia