| Package name | Total reverse dependencies |
|---|
| Agda | 9 (view) |
| Frames-beam | 1 (view) |
| LPPaver | 0 (view) |
| NGLess | 0 (view) |
| PandocAgda | 1 (view) |
| acme-everything | 0 (view) |
| adict | 2 (view) |
| agda-language-server | 0 (view) |
| agda-snippets | 2 (view) |
| agda-snippets-hakyll | 1 (view) |
| agda-unused | 0 (view) |
| apply-merge | 0 (view) |
| beam-automigrate | 0 (view) |
| beam-migrate | 10 (view) |
| beam-newtype-field | 0 (view) |
| beam-postgres | 6 (view) |
| beam-sqlite | 2 (view) |
| blagda | 0 (view) |
| bogre-banana | 1 (view) |
| boots | 3 (view) |
| boots-app | 2 (view) |
| boots-cloud | 0 (view) |
| boots-web | 1 (view) |
| chr-core | 15 (view) |
| chr-lang | 0 (view) |
| conduit-algorithms | 2 (view) |
| delimiter-separated | 1 (view) |
| exference | 0 (view) |
| feed-gipeda | 0 (view) |
| gloss-banana | 1 (view) |
| hakyll-agda | 1 (view) |
| homplexity | 1 (view) |
| hwormhole | 0 (view) |
| kdt | 1 (view) |
| keid-frp-banana | 0 (view) |
| magic-wormhole | 1 (view) |
| nerf | 1 (view) |
| planet-mitchell | 1 (view) |
| proof-assistant-bot | 0 (view) |
| reactive-balsa | 1 (view) |
| reactive-banana | 17 (view) |
| reactive-banana-automation | 1 (view) |
| reactive-banana-bunch | 4 (view) |
| reactive-banana-gi-gtk | 1 (view) |
| reactive-banana-sdl | 1 (view) |
| reactive-banana-sdl2 | 1 (view) |
| reactive-banana-threepenny | 1 (view) |
| reactive-banana-wx | 1 (view) |
| reactive-jack | 1 (view) |
| reactive-midyim | 3 (view) |
| salak | 10 (view) |
| salak-toml | 0 (view) |
| salak-yaml | 4 (view) |
| second-transfer | 1 (view) |
| servant-util-beam-pg | 0 (view) |
| shuffle | 10 (view) |
| termbox-banana | 0 (view) |
| time-warp | 1 (view) |
| tsweb | 0 (view) |
| typson-beam | 0 (view) |
| uhc-light | 10 (view) |
| uhc-util | 13 (view) |
| wikimusic-api | 0 (view) |
| yam | 2 (view) |
| yam-datasource | 0 (view) |
| yam-redis | 0 (view) |