agda/agda-system-io Stargazers
- andy morrisandy-morris
- apskii
- Alan Jeffreyasajeffrey
- cnd
- compwroncompwron
- Lîm Tsú-thuàndannypsnl
- Eduardo Pareja Tobeseparejatobes
- YAMAMOTO Yujiigrep
- Miloiitalics
- Jonathan Fischoffjfischoff
- antonio nikishaevllelf
- Matthew Brecknellmbrcknl
- Miëtek Bakmietek
- Michael Weißmixis
- Dr. sc. Matthew Mirmanmmirman
- odomanov
- Olle Fredrikssonollef
- Rick Elrodrelrod
- rgoene
- L WShadowCreator
- Aistis Raulinaitissheganinans
- Sora Morimotosmorimoto
- tluyben
- treep