https://hux.pro
[ByteDance, Meta, ...China] [NY, CA, ...China] @Lynx-family. Redefining Interfaces · Software Dreamer. Formerly @reactjs, React Native, Hermes, @reasonml.
Xuan Huang (黄玄)
A (in-development) Coq mechanization of WebAssembly specification.
Huxpro
Yanshuo.io issue and future websites
Well, dotfiles.
