Similar repositories to GaloisInc/gidl:
GaloisInc/gidl
github
similar
GaloisInc/cryptol-verifier
github
similar
haskell-numerics/hmatrix-sundials
github
similar
gibiansky/IHaskell
github
similar
passy/optparse-text
github
similar
tmcdonell/Lol-accelerate
github
similar
GaloisInc/saw-core-what4
github
similar
jwiegley/simple-ltl
github
similar
inanna-malick/hgit
github
similar
GaloisInc/saw-core-sbv
github
similar
michaelpj/hsmods-logic
github
similar
sleexyz/synthetic
github
similar
GaloisInc/simple-tar
github
similar
icicle-lang/zebra-ambiata
github
similar
basvandijk/regional-pointers
github
similar
supki/xml-html-conduit-lens
github
similar
GaloisInc/hpb
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
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