luite
Follow
Ilya Baryshnikov
zlonast
Lover of formal specifications • Compiler developer • Linker enjoyer
Pavlo Bondarenko
OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast
Denver, CO
Jeffrey Young
doyougnu
PhD in programming languages. Artificer. GHC developer and JS backend core developer. I write a lot of Haskell.
Walter Schulze
awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt.
Interests: LeanProver, Coq, Brzozowski's derivatives.
Stellenbosch University Stevenage, UK
Licong Guan
licongguan
PhD student at Beijing Jiaotong University
Beijing Jiaotong University Beijing
mattkvi
luna9
In the process of launching a Cardano coffee and building a developer network. Support these efforts by delegating your ₳D₳ to GIGS stake pool.
L9 St. Thomas Virgin Islands
Paulo Vicente
0xb0b1
Software Engineer specialized in Golang, Distributed Systems and System Design Architecture
R10 Score Cuiabá - Mato Grosso
Devansh Batra
devanshbatra04
Enabling machines to see, read, speak, write, hear and move like their makers ;-)
New Delhi, India
PreviousNext