Julian Ospald
hasufell
Haskell freelancer, Opensource enthusiast.
Durian Consulting Pte. Ltd. Taipei
Lee Cullen
lee-cullen
Experienced Data Engineer. Skilled in Python, R, SQL, Go, Cloud (AWS/GCP)
Ireland
Alexandre Garcia de Oliveira
romefeller
Seeking knowledge on Blockchain, Formal verification, Proof Assistants, Haskell, Type Theory, HoTT, Agda, Rust, Coq, Category Theory, and Isabelle
Formal Land - Romefeller - Fatec Rubens Lara
Paul Bone
PaulBone
Mozilla engineer, @PlasmaLang author. Interested in programming language implementation (compilers and runtimes) and parallelism.
@mozilla Melbourne, Australia
Shae Erisson
shapr
Haskell, Python, Swedish, knitting, mountain unicycling, contact juggling
@RecurseCenter Medford, MA, USA
Ömer Sinan Ağacan
osa1
I like programming languages and compilers. Working on @dart-lang at @google.
Google London
Veronika Romashkina
vrom911
Haskell Developer. Check out @kowainik to see more projects I'm working on.
I also do @bindthegap
@kowainik London
Ellie Hermaszewska
expipiplus1
My code is so strongly typed I'm going to need a new keyboard! she/her
Andrea Bedini
andreabedini
Haskell / Nix / Build Systems / DevEx. Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases.
@tweag Perth, Australia
PreviousNext