TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
NJU-ProjectN
Nanjing University Computer System Project Series - Build a computer system from scratch!
Haobin Ni
FTRobbin
TankEngineer on Codeforces.
Ph.D. from Cornell.
Postdoc at UW.
Does programing language research.
これでみんなハッピーハッピだよ
University of Washington, Seattle, WA
Alex Beregszaszi
axic
Works on decentralised stuff.
eipnft:axic.eth
@ethereum @ipsilon @spearbit @ethereumjs Dublin, Ireland
Andrew Miller
amiller
Distributed systems, applied cryptography, programming languages
University of Illinois Champaign, IL
PreviousNext