derekelkins/agda-vim Stargazers
- Ryo Tanakaalpicola
- Eric Reedanasazi
- Anthony Quizonanthonyquizon
- Ben Greenmanbennn
- Paolo G. GiarrussoBlaisorblade
- Charlescbresendiz1
- Daniel Peeblescopumpkin
- Dmitry Malikovdmalikov
- glug
- Sam StueweHalosGhost
- bpbitcowed
- João Pizanijoaopizani
- Joomy Korkutjoom
- David Kellykellino
- kwzrkvvzr
- Taran Lynnlambda-11235
- Mark Farrellmarkfarrell
- Mark Lemaymarklemay
- Michael Gillilandmjgpy3
- Olle Fredrikssonollef
- Matt Parsonsparsonsmatt
- raichooraichoo
- David Youngroboguy13
- Stephen Diehlsdiehl
- Sandy Vanderbleeksvanderbleek
- Tim Baumanntimjb
- Kelsey McKennaToastNumber
- tobynettobynet
- Taichi Uemurauemurax
- Imamura Yutakautky
- Edward O'Callaghanvictoredwardocallaghan
- Alvin XueVinaLx-zz
- William J. Bowmanwilbowma
- wren romanowrengr
- Pyankova Juliayulya3102
- zhiyuanshi