Agda Frp Js vs Kefir
| Kefir | Agda Frp Js | |
|---|---|---|
| Stars | 1,828 | 84 |
| Downloads |  | |
| Dependent Packages | 264 | |
| Dependent Repos | 9,210 | |
| Most Recent Commit | a year ago | 7 years ago |
| Total Releases | 86 | |
| Latest Release | November 28, 2020 | |
| Open Issues | 38 | 3 |
| License | mit | other |
| Programming Language | JavaScript | Agda |