AbsInt/CompCert Stargazers
- 8l
- Loïc RunarvotAaylor
- alvg
- Andrew Kennedyandrewjkennedy
- Anand Patilapatil
- Anil Madhavapeddyavsm
- Aykut Kilicaykutkilic
- Brandon Elam Barkerbbarker
- cantora
- Calvin BeckChobbes
- Daniel Gröber (dxld)DanielG
- Daryl Zunigadarzu
- David Tereidterei
- Erich Oceanerichocean
- Fritz Obermeyerfritzo
- Hai Nguyen Vanhai-nguyen-van
- jmitchell
- Kyle Isomkisom
- MaPePeR
- Ben Niumcfi
- Michael Williamsmtwilliams
- Max Mouratovmurmour
- Passw
- Jesús Leganés-Combarropiranna
- Rémy Léoneremyleone
- Robert Hitchcockrhitchcock
- Robin DavidRobinDavid
- Thomas Gazagnairesamoht
- Sicun Gaoscungao
- Seb Mondetsmondet
- Sergei Nikulovsnikulov
- Artis Schlossbergtikums
- Wei Chenwweic
- Siraaj Khandkarxandkar
- Xiongfei(Alex) GUOxfguo
- Zachary Tatlockztatlock