Similar repositories to GaloisInc/abcBridge:
GaloisInc/abcBridge
github
similar
gibiansky/IHaskell
github
similar
benjaminselfridge/simple-compiler
github
similar
ocharles/ghc-nix
github
similar
dmwit/mcmario
github
similar
dmwit/damascus
github
similar
acid-state/acid-state-tls
github
similar
Soostone/hs-dynamodb-tools
github
similar
juanpaucar/lcs
github
similar
sol/stats
github
similar
glguy/how-to-call-c
github
similar
glguy/lift-nary-operator
github
similar
ndmitchell/stack-3137
github
similar
ptigwe/miso-swap
github
similar
basvandijk/bench-queues
github
similar
chessai/poke-type
github
similar
dmjio/waffle
github
similar
cleverca22/machotool
github
similar
MichaelXavier/drifter-sqlite
github
similar
kowainik/treasure-keeper
github
similar
clintonmead/atomic-file-ops
github
similar
danfran/cabal-macosx-examples
github
similar
iconnect/aws-cloudfront-signer
github
similar
tathougies/hstradeking
github
similar
meiersi/talks
github
similar
agrafix/blaze-bootstrap
github
similar
jwiegley/monad-base-control
github
similar
bitemyapp/netwire
github
similar
dmjio/static-warp
github
similar
mightybyte/groundhog-ghcjs
github
similar
dmjio/circleci
github
similar
mstksg/quotiented
github
similar
mwotton/waif-arrays
github
similar
plow-technologies/ghcjs-jsval-combinators
github
similar
quchen/client-server-example
github
similar
jwiegley/haskell-quantification
github
similar
taktoa/libsecret
github
similar
dmjio/hackage-dep-scrape
github
similar
chessai/TicTacToe
github
similar
kosmikus/simplediff-sop
github
similar