Similar repositories to agda/agda-ghc-names:
agda/agda-ghc-names
github
similar
Gabriel439/pipes-platform
github
similar
Gabriel439/Haskell-DirStream-Library
github
similar
haskell-suite/array
github
similar
haskell-suite/integer-simple
github
similar
haskell-suite/ghc-prim
github
similar
phadej/binary-tagged
github
similar
Gabriel439/Haskell-Pipes-Foldl-Library
github
similar
byorgey/labelled-structures
github
similar
UU-ComputerScience/uhc-util
github
similar
haskell-suite/hse-cpp
github
similar
lambdabot/dice
github
similar
urs-of-the-backwoods/fresco
github
similar
mikeizbicki/ConstraintKinds
github
similar
haskell-suite/base
github
similar
joeyadams/haskell-control-monad-loop
github
similar
roelvandijk/containers-unicode-symbols
github
similar
Gabriel439/Haskell-RCPL-Library
github
similar
dterei/SafeHaskellExamples
github
similar
ekmett/transformers-compat
github
similar
GaloisInc/hpb
github
similar
Gabriel439/Haskell-Pipes-ByteString-Library
github
similar
tonymorris/lens-proposal
github
similar
tanakh/cless
github
similar
walck/cyclotomic
github
similar
fpco/schoolofhaskell.com
github
similar
haskell-suite/haskell-packages
github
similar
travitch/persistent-vector
github
similar
mstksg/uncertain
github
similar
bgamari/hoogle-index
github
similar
Gabriel439/Haskell-Pipes-Safe-Library
github
similar
Gabriel439/Haskell-Pipes-Parse-Library
github
similar
jwiegley/numbers
github
similar
ekmett/zippers
github
similar
haskell-suite/halberd
github
similar
fpco/schoolofhaskell
github
similar
roelvandijk/base-unicode-symbols
github
similar
stackbuilders/inflections-hs
github
similar
schell/varying
github
similar
haskell-numerics/random-fu
github
similar