Daniel A.A. Pelsmaeker
Virtlink
I have a passion for programming, electronics, and domotica. My favorite languages are Kotlin, Rust, and C#.
TU Delft Delft, The Netherlands
Jonas Schöpf
dio4ev
(λ name domain. name@domain) "jonas.schoepf" "uibk.ac.at"
University of Innsbruck Austria
David Binder
BinderDavid
Researcher in type theory and programming languages
University of Kent Canterbury, UK
Miao ZhiCheng
hellwolf
Promoting the idea of Semantic Money at Superfluid Finance | Building a decentralized future
@decentral-ee, @superfluid-finance Tallinn, Estonia
Vaibhav Sagar
vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.
gadigal land/sydney
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Evan Relf
evanrelf
Passionate about pragmatic, rigorous software craftsmanship. Working on ACH and checks at Mercury.
@MercuryTechnologies Portland, Oregon, United States
Jinxuan Zhu
zhujinxuan
Web Developer;
Working in eGenerationMarketing Inc.
eGenerationMarketing Inc Boston