9 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
agda-categories 0.1.4-1 0 0.00 A new Categories library for Agda berberman
agda-cubical 0.2-1 0 0.00 An experimental library for Cubical Agda berberman
arch-hs-git r251.1203d2c-1 0 0.00 Distribute hackage packages to archlinux berberman
dhall-to-cabal 1.3.4.0-1 0 0.00 Compile Dhall expressions to Cabal files berberman
ghcide 0.6.0-1 1 0.04 A library for building Haskell IDE's on top of the GHC API. berberman
haskell-fixed 0.3-1 1 0.00 Signed 15.16 precision fixed point arithmetic berberman
haskell-graphite 0.10.0.1-1 0 0.00 Graphs and networks library berberman
haskell-language-server-bin 1.0.0-1 10 2.99 Integration point for ghcide and haskell-ide-engine. One IDE to rule them all. berberman
haskell-microaeson 0.1.0.0-1 0 0.00 A tiny JSON library with light dependency footprint. berberman

9 packages found. Page 1 of 1.