10000
ZhangGang
zxg0623
student of Zhejiang University
Zhejiang University 866 Yuhangtang Rd, Hangzhou 310058, P.R. China
Eric Bailey
yurrriq
Highly functional yak stylist, {HoT,PL}T enthusiast, {Erlang,Lisp}er, Kubernaut, MaMuTh meddler, Nix user, (comics) reader, linguaphile, musician, philomath, &c
@sportradar Minneapolis, MN
Youngwan Kim
youngwan-kim
Ph.D. candidate in hep-ex, CMS Collaboration @ CERN
Seoul National University
Mikaela Allan
mklca
I'm a software engineer specializing in quantitative development and physics simulation. My passion is where programming languages meets mathematics.
Canada
Rodrigo Mesquita
alt-romes
GHC contributor, working on linear types, equality saturation, and in whatever else
Well-Typed LLP @ GHC Team Portugal
Ian Zimmerman
nobrowser
Any of my real projects now are on gitlab or sr.ht. This started even before #GiveUpGitHub when I realized github was turning into another "social" site.
Alan Stocco
alanStocco
Software engineer - Bitcoiner . Pelegrin
Fields: Editorial , Bank Crm, Responsive Website
Frederik Hanghøj Iversen
fredefox
Languages, functional programming, type theory and logic.
Penneo Copenhagen, Denmark
Nhat Pham
nhatsmrt
Linux Kernel Developer @ Meta. zswap maintainer and swap reviewer. Author and maintainer of the cachestat system call.
Meta Platforms, Inc. Bellevue, Washington
PreviousNext