Similar repositories to grin-compiler/ghc-wpc:
grin-compiler/ghc-wpc
github
similar
dmbarbour/haskell-lmdb
github
similar
trillioneyes/dyn-universe
github
similar
passy/optparse-text
github
similar
GaloisInc/cryptol-verifier
github
similar
GaloisInc/saw-core-what4
github
similar
haskell-numerics/hmatrix-sundials
github
similar
danistefanovic/build-your-own-x
github
similar
WhereSoftwareGoesToDie/chevalier
github
similar
shaunlebron/parinfer
github
similar
ckoparkar/unfoldings
github
similar
tonyday567/dotparse
github
similar
svenssonjoel/arbb-vm
github
similar
sebastiaanvisser/data-reify-cse
github
similar
codygman/haskell-nix-stack-workflow
github
similar
GaloisInc/saw-core-sbv
github
similar
michaelpj/hsmods-logic
github
similar
wz1000/packed-traverse
github
similar
sdiehl/haskell-linenoise
github
similar
typeable/validationt
github
similar
bennofs/th-lift-instances
github
similar
basvandijk/regional-pointers
github
similar
flipstone/redcard
github
similar
kosmikus/kaleidoscope-regensburg
github
similar
redneb/hs-btrfs
github
similar
michaelpj/abstract-machine-debuggers
github
similar
QBayLogic/benchmark-compilation
github
similar
swtwsk/beatle-interpreter
github
similar
chessai/emmy
github
similar
elliottt/layout-rules
github
similar
haskell-haskey/haskey-mtl
github
similar
LightAndLight/stg-llvm
github
similar
adamwespiser/analytics
github
similar
verement/decimal-arithmetic
github
similar
input-output-hk/stackage.nix
github
similar
mpickering/hashtag-coerce
github
similar
flipstone/kioku
github
similar
robstewart57/hdph-rs
github
similar
mankyKitty/idris-webgl
github
similar
quchen/show-prettyprint
github
similar