gallais/agda-nbe Stargazers
- Jonathan Fischoffjfischoff
- Sergei Romanenkosergei-romanenko
- G. Allaisgallais
- Larry Diehllarrytheliquid
- Tim Baumanntimjb
- DragonLi
- Aistis Raulinaitissheganinans
- Alex Shpilkinalexshpilkin
- Miëtek Bakmietek
- Alex Singhwintershammer
- brezal
- LapinotLapin0t
- odomanov
- awkure
- Максим Сохацький5HT
- Alexey Ugnichevthaewrapt
- Mukesh Tiwarimukeshtiwari
- Vitalii Akimovawto
- Paul Laforguephink
- Alexandre Morenomoleike
- Nachonachivpn
- Georgi Lyubenovgoogleson78
- Carlos Tomécarlostome
- logicshan
- Constantine Theochariskontheocharis
