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