Similar repositories to mikeizbicki/ConstraintKinds:
mikeizbicki/ConstraintKinds
github
similar
gibiansky/IHaskell
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
hecrj/iced
github
similar
GaloisInc/aterm-utils
github
similar
DanBurton/coroutine-interfaces
github
similar
idontgetoutmuch/Legendre
github
similar
idontgetoutmuch/Leapfrog
github
similar
byorgey/braids
github
similar
Gabriel439/pipes-web
github
similar
tel/h9
github
similar
Gabriel439/Haskell-Pipes-Extras-Library
github
similar
qnikst/distributed-process-zmq
github
similar
DanBurton/MHask
github
similar
kosmikus/servant-regensburg
github
similar
Gabriel439/Haskell-Crunch-Library
github
similar
Bodigrim/exp-pairs
github
similar
Ptival/ProofIDE
github
similar
GaloisInc/ghc-srcspan-plugin
github
similar
agrafix/pulse
github
similar
passy/optparse-text
github
similar
haskoin/murmur3
github
similar
teh/gluon
github
similar
ivan-m/transmogrify
github
similar
minad/tasty-stats
github
similar
clintonmead/indextype
github
similar
np/strict-io
github
similar
haskell-distributed/distributed-process-execution
github
similar
jfischoff/llvm-quasi
github
similar
cocreature/llreve-backend
github
similar
MichaelXavier/tasty-fail-fast
github
similar
GaloisInc/cryptol-verifier
github
similar
TerrorJack/easy-ffi
github
similar
tmcdonell/Lol-accelerate
github
similar
cocreature/llvm-tablegen
github
similar