Friends


Claude

少年心事當拏雲,誰念幽寒坐嗚呃。

Edward Elric

TypeScript / JavaScript / Rust

Himself65

Frontend Developer / NodeJS Collaborator

SchrodingerZhu

PLT / Math / GPG 6552 350D 8D7E E5FB

Tesla Ice Zhang

Dependent Type / PLT / Arend / Agda