agda/agda-frp-js Stargazers
- 0xD7ba952CE8A0976e8d9852b7649bf01c30146
- Alex Langalang9
- apskii
- Alan Jeffreyasajeffrey
- Cetin SertCetinSert
- Chris Taborchristabor
- Colin S. Gordoncsgordon
- David Mathersdavidmathers
- Eugene Scherbaescherba
- fixplz
- George Leontievfolone
- Yvan VividHeXXiiiZ
- Jack Pappasjack-pappas
- Jim Fisherjameshfisher
- Jonathan Fischoffjfischoff
- Johnicholas HinesJohnicholas
- krkx
- Larry Diehllarrytheliquid
- Tan-Yu Liuliutanyu
- antonio nikishaevllelf
- Mitsutoshi Aoemaoe
- Michael Weißmixis
- Jan Malakhovskioxij
- ruthenium
- Andrea VezzosiSaizan
- Stephen Diehlsdiehl
- Aistis Raulinaitissheganinans
- Steven Shawsteshaw
- Ulf Ejlertssonstormogulen
- Nathan Sorensontakeoutweight
- Thomas Cummingtomcumming
- unfoldr
- voila
- Wen Kokkewenkokke
- Jelle Heroldwires
- Rob Willswrwills