Package name | Total reverse dependencies |
---|
Agda | 9 (view) |
Allure | 1 (view) |
InternedData | 3 (view) |
LambdaHack | 2 (view) |
NaturalLanguageAlphabets | 2 (view) |
PandocAgda | 1 (view) |
WordAlignment | 0 (view) |
acme-everything | 0 (view) |
agda-language-server | 0 (view) |
agda-snippets | 2 (view) |
agda-snippets-hakyll | 1 (view) |
agda-unused | 0 (view) |
apigen | 0 (view) |
blagda | 0 (view) |
btree | 1 (view) |
cimple | 2 (view) |
compact | 40 (view) |
compact-mutable | 2 (view) |
compact-mutable-vector | 0 (view) |
compact-socket | 1 (view) |
dhall-nix | 0 (view) |
disco | 0 (view) |
flashblast | 0 (view) |
ghc-instances | 2 (view) |
hakyll-agda | 1 (view) |
hnix | 10 (view) |
hocker | 0 (view) |
jenkinsPlugins2nix | 0 (view) |
knit-haskell | 0 (view) |
nix-tools | 0 (view) |
nixfromnpm | 1 (view) |
planet-mitchell | 1 (view) |
polysemy-RandomFu | 0 (view) |
polysemy-extra | 6 (view) |
polysemy-fskvstore | 1 (view) |
polysemy-kvstore-jsonfile | 0 (view) |
polysemy-methodology | 5 (view) |
polysemy-methodology-co-log | 0 (view) |
polysemy-methodology-composite | 2 (view) |
polysemy-optics | 0 (view) |
polysemy-path | 1 (view) |
polysemy-scoped-fs | 0 (view) |
polysemy-uncontrolled | 0 (view) |
polysemy-vinyl | 3 (view) |
polysemy-zoo | 18 (view) |
proof-assistant-bot | 0 (view) |
servant-nix | 1 (view) |
servant-polysemy | 0 (view) |
stack2nix | 0 (view) |
static-closure | 1 (view) |
tagstew | 0 (view) |
talash | 0 (view) |
techlab | 0 (view) |
tokstyle | 0 (view) |
update-nix-fetchgit | 0 (view) |
xdg-basedir-compliant | 0 (view) |
yarn2nix | 0 (view) |