Similar repositories to redneb/hs-btrfs:
redneb/hs-btrfs
github
similar
sdiehl/vector-eigenvalues
github
similar
passy/optparse-text
github
similar
GaloisInc/cryptol-verifier
github
similar
GaloisInc/saw-core-what4
github
similar
haskell-numerics/hmatrix-sundials
github
similar
precog/quasar
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
simonpj/haskellcontracts
github
similar
hgoes/bindings-llvm
github
similar
nrolland/madoko-workflow
github
similar
GaloisInc/saw-core-sbv
github
similar
michaelpj/hsmods-logic
github
similar
polasek/idris-scientific
github
similar
javgh/watchdog
github
similar
basvandijk/regional-pointers
github
similar
hspec/nanospec
github
similar
johnynek/rules_tla
github
similar
flipstone/redcard
github
similar
hansonkd/UHF
github
similar
kosmikus/kaleidoscope-regensburg
github
similar
nushio3/physics-inhaskell
github
similar
syallop/Join-Interpreter-Distributed
github
similar
grin-compiler/ghc-wpc
github
similar
acowley/BostonHaskell2015
github
similar
avieth/type-function
github
similar
vincenthz/hsco
github
similar
haskell-haskey/haskey-mtl
github
similar
adamwespiser/analytics
github
similar
Copilot-Language/copilot-libraries
github
similar
rblaze/bond-haskell
github
similar
avieth/type-lambda
github
similar
flipstone/kioku
github
similar
soupi/x86-debug
github
similar
chessai/vector-circular
github
similar
Peaker/hssophia
github
similar
hspec/quickcheck-io
github
similar
reynir/Verified
github
similar
quchen/show-prettyprint
github
similar