John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Hongwei Xi
githwxi
As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.
ATS Trustful Software, Inc. Boston, Massachusetts