Julian Ospald
hasufell
Haskell freelancer, Opensource enthusiast.
Durian Consulting Pte. Ltd. Taipei
Nho Luong
nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳
- Vietnam DevOps Engineer
Lead
- Vietnam Timeless Charm
- Enjoy Every Moment
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
Abdalaziz Rashid
abdalazizrashid
"A beautiful theory, killed by a nasty, ugly little fact" (Galton, 1908, page 258)
Earth
Nikita Karetnikov
nkaretnikov
Math, machine learning, functional programming, compilers, demoscene. I love meeting new people, email me and introduce yourself!
Germany
Genki Sato
gksato
Engineer. Ph. D. in math, I majored in homotopy type theory.
I write Haskell. I take part in competitive programming at AtCoder with Haskell
Fcuro, Inc. Tokyo, Japan
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
psilospore
psilospore
Functional programmer, Software Engineer at Acima, and a CS PhD student at the University of Vermont.
Acima Burlington, Vermont
Settuba
i-walker
Sr Software Engineer |
𝌻 Do more with less, be kind.
Research: Pure Maths 🧮, heterogeneous memory-centric Computing on Apple Silicon @settubaDev
▒ Munich, Germany
Piotr Paradziński
lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data
in Scala / Haskell / Idris / Agda
@ScalaConsultants
Lublin
Shae Erisson
shapr
Haskell, Python, Swedish, knitting, mountain unicycling, contact juggling
@magic-cap Medford, MA, USA
PreviousNext