agda/agda-frp-js Stargazers
- Brad Pillowpillowsoft
- Abhishek Anandaa755
- Ken Okabeken-okabe
- Adam Hullhurrymaplelad
- Noah Diewaldnoahdiewald
- Thomas Scholtesgeigerzaehler
- Théo ZimmermannZimmi48
- Joomy Korkutjoom
- Orlin M Bozhinovorlin
- Jack Valinskyjvalinsky
- Vitalii Akimovawto
- Mark Farrellmarkfarrell
- Anquranqurvanillapy
- Claudia Doppioslashdoppioslash
- Alex Moore-Niemimooreniemi
- Heikki Johannes Hildénlaserpants
- Nima Joharijohari
- Sunny Gonnabathulasunny-g
- RaoulRaoulSchaffranek
- Rui Azevedoneu-rah
- William ML Lesliewilliam-ml-leslie
- laglekilagleki
- Miëtek Bakmietek
- Joseph ReuttJDReutt
- Максим Сохацький5HT
- Rudi Grinbergrgrinberg
- ayshvab
- ndcroos
- Kevin Lkvzl
- Jeremy W. Shermanjeremy-w
- Daniel Jacksonninegrid
- photz
- Andrejs Agejevsesneko
- cybai (Haku)CYBAI
- Ting-gian LUAbanacorn
- awkure