Lîm Tsú-thuàn's following
- Grant Sanderson3b1b
- Agda Github Communityagda
- ainozakiainozaki
- AlgebraicJuliaAlgebraicJulia
- Gabriela Moreirabugarela
- Isaac Huangcaasi
- CAIMEOCAIMEOX
- Daandaanx
- Mario Carneirodigama0
- Emily Riehlemilyriehl
- Fabienfabiensanglard
- FizzyEltFizzyElt
- Fredrik Nordvall ForsbergfredrikNordvallForsberg
- Connor Hanleyhanleyc01
- hiketteihikettei
- hydaihydai
- C.W. Chienidoleat
- Jacob Neumannjacobneu
- Josh Chenjaycech3n
- Jiang Jiedongjjdishere
- Josh Kojosh-hs-ko
- Kento Okurakentookura
- Neel Krishnaswamineel-krishnaswami
- Phil Huangpichuang
- Hilton Chainrakino
- RedPRLRedPRL
- rzk proof assistant, satellite tools, and formalisationsrzk-lang
- Sazasaza-ku
- S.Y. Leesiygle
- teorth
- aramyathamugadi
- Wenhao Tangthwfhk
- Emilytopological-modular-forms
- Tsung-Ju Chiangtsung-ju
- Typsttypst
- Taichi Uemurauemurax