Package name | Total reverse dependencies |
---|
Agda | 9 (view) |
NGLess | 0 (view) |
PandocAgda | 1 (view) |
RNAlien | 0 (view) |
Shpadoinkle-widgets | 0 (view) |
acme-everything | 0 (view) |
agda-language-server | 0 (view) |
agda-snippets | 2 (view) |
agda-snippets-hakyll | 1 (view) |
agda-unused | 0 (view) |
apiary-purescript | 1 (view) |
blagda | 0 (view) |
boltzmann-brain | 0 (view) |
buchhaltung | 1 (view) |
cabal-hoogle | 0 (view) |
cabal-install | 4 (view) |
cabal-install-solver | 5 (view) |
disco | 0 (view) |
dovetail | 1 (view) |
dovetail-aeson | 0 (view) |
duet | 0 (view) |
elm-build-lib | 1 (view) |
elm-compiler | 3 (view) |
elm-package | 1 (view) |
etc | 2 (view) |
guardian | 0 (view) |
hakyll-agda | 1 (view) |
heatitup | 0 (view) |
hix | 0 (view) |
kmeans-par | 1 (view) |
lambdabot | 1 (view) |
lambdabot-core | 8 (view) |
lambdabot-haskell-plugins | 1 (view) |
lambdabot-irc-plugins | 1 (view) |
lambdabot-misc-plugins | 1 (view) |
lambdabot-novelty-plugins | 1 (view) |
lambdabot-reference-plugins | 2 (view) |
lambdabot-social-plugins | 1 (view) |
lambdabot-telegram-plugins | 0 (view) |
metric | 2 (view) |
ms | 1 (view) |
pencil | 0 (view) |
proof-assistant-bot | 0 (view) |
psc-ide | 0 (view) |
purenix | 0 (view) |
purescript | 9 (view) |
purescript-tsd-gen | 0 (view) |
quickterm | 0 (view) |
sc2hs | 0 (view) |
spelling-suggest | 1 (view) |
stack | 4 (view) |
stack-lib | 1 (view) |
stack2nix | 0 (view) |
yesod-purescript | 1 (view) |
zephyr | 0 (view) |