sstucki/system-f-agda Stargazers
- t511121418
- Andor Penzesandorp
- Angus H.angusshire
- Chris A.bitemyapp
- Xuan Bibixuanzju
- Paolo G. GiarrussoBlaisorblade
- Brendan Zabarauskasbrendanzab
- Alex Gryzlovclayrat
- Daniel Peeblescopumpkin
- cybai (Haku)CYBAI
- aprilcyberglot
- Deyaaeldeen Almahallawideyaaeldeen
- Dmitry Malikovdmalikov
- Francisco Ferreirafferreira
- Hans Höglundhanshoglund
- Harley D. Eades IIIheades
- iomonadiomonad
- Jonathan Fischoffjfischoff
- Juan Bonojuanbono
- Ki Yung Ahnkyagrd
- Larry Diehllarrytheliquid
- linusyang
- logicshan
- Marco Aurélio da Silvamarcoonroad
- Miëtek Bakmietek
- Maxwell Russekmrussek
- ndcroos
- Ivo StratevNoHomey
- Ollie Charlesocharles
- Piotr JanderPiotrJander
- Rick Elrodrelrod
- Scott Fleischmanscott-fleischman
- serendependy
- Steinway Wusteinwaywhw
- Vaibhav Sagarvaibhavsagar
- Eric Baileyyurrriq