Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Sandra Dylus
ichistmeinname
holds PhD in PL; likes functional programming languages
@Cap3 Germany, Kiel
Andrea Cognolato
mrandri19
Machine Learning Engineer interested in Bayesian statistics, programming languages, and quantitative finance.
Italy
Franz Miltz
mifrandir
All we have to decide is what to do with the time that is given us.
Earth, Milky Way
jjl
Very experienced developer and scarer of computers. Mostly writes rust these days, knows idris, purescript, haskell, elixir/erlang, python + much more. hire me!
Independent consultant Netherlands
Simone Paolucci
Magicianred
Code Imagineer - Application Web Developer - Software Permaculturist - Addicted to Open Source
Italy
PreviousNext