Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
boxes: total reverse dependencies
Direct reverse dependencies
Indirect reverse dependencies
Total
26
43
69
Package name
Total reverse dependencies
Agda
9 (
view
)
PandocAgda
1 (
view
)
Wordlint
1 (
view
)
acme-everything
0 (
view
)
agda-language-server
0 (
view
)
agda-snippets
2 (
view
)
agda-snippets-hakyll
1 (
view
)
agda-unused
0 (
view
)
algebraic-graphs-io
0 (
view
)
apiary-purescript
1 (
view
)
b9
1 (
view
)
blagda
0 (
view
)
board-games
1 (
view
)
buchhaltung
1 (
view
)
cl3
3 (
view
)
cl3-hmatrix-interface
1 (
view
)
cl3-linear-interface
1 (
view
)
data-svd
1 (
view
)
dot
2 (
view
)
dovetail
1 (
view
)
dovetail-aeson
0 (
view
)
emhell
0 (
view
)
forest-fire
0 (
view
)
g2
1 (
view
)
g2q
0 (
view
)
groot
0 (
view
)
grow-vector
0 (
view
)
hakyll-agda
1 (
view
)
hax
1 (
view
)
hbayes
1 (
view
)
heidi
0 (
view
)
hmm-lapack
0 (
view
)
impure-containers
3 (
view
)
kuifje
0 (
view
)
language-pig
1 (
view
)
lapack
4 (
view
)
lapack-hmatrix
0 (
view
)
linear-circuit
1 (
view
)
liquid-base
12 (
view
)
liquid-bytestring
0 (
view
)
liquid-containers
1 (
view
)
liquid-fixpoint
22 (
view
)
liquid-ghc-prim
13 (
view
)
liquid-parallel
0 (
view
)
liquid-prelude
1 (
view
)
liquid-vector
1 (
view
)
liquidhaskell
20 (
view
)
liquidhaskell-boot
21 (
view
)
mezzo
1 (
view
)
orgstat
0 (
view
)
posit
0 (
view
)
pprecord
0 (
view
)
pptable
2 (
view
)
predicate-typed
0 (
view
)
pretty-tree
4 (
view
)
proof-assistant-bot
0 (
view
)
psc-ide
0 (
view
)
purenix
0 (
view
)
purescript
9 (
view
)
purescript-tsd-gen
0 (
view
)
registry-options
0 (
view
)
rp-tree
0 (
view
)
safe-coupling
0 (
view
)
target
1 (
view
)
testbench
1 (
view
)
tree-render-text
0 (
view
)
vp-tree
0 (
view
)
yesod-purescript
1 (
view
)
zephyr
0 (
view
)