WÁNG Xuěruì
xen0n
The wandering craftsman, deliberately living his life the hard way.
@gentoo Shanghai
Anthony Hart
AHartNtkn
Functional Programmer and Formal Verification Engineer with experience in Haskell and Coq
Heliax
Tobias Heindel
heindel
Yet another computer scientist?
⑆keybase.io/heindel
Heliax GmbH @heliaxdev Berlin, Germany
Todd Waugh Ambridge
tnttodda
Lecturer, Computer Science @ University of Birmingham
University of Birmingham
Nick Barnes
NickBarnes
OCaml core developer. Compilers, runtimes, garbage collection, general low-level hackery since forever.
Cambridge, UK
Loongson Community (Unofficial)
loongson-community
An open-source community around Loongson (龙芯开源社区). This organization is unaffiliated with @loongson.
Jeremy Chen
intgrah
Computer Science undergraduate at Trinity College, University of Cambridge
Litao Zhou
ltzone
Ph.D. student @hkuplg, Programming Languages
The University of Hong Kong Hong Kong
Brian Ward
WardBrian
Software Engineer, @flatironinstitute and @stan-dev
@flatironinstitute at the @simonsfoundation New York, NY
Chang Meng
changmg
Assistant Professor at TU/e, studying EDA and AI accelerators. Open for collaboration.
Eindhoven University of Technology Eindhoven, the Netherlands
Samuel Vivien
samsa1
PL PhD student currently working on adding modular implicits to the OCaml compiler
INRIA Paris - France
PreviousNext