Similar repositories to ocramz/petsc-hs:

• ocramz/petsc-hs github similar
• gibiansky/IHaskell github similar
• passy/optparse-text github similar
• GaloisInc/cryptol-verifier github similar
• GaloisInc/saw-core-what4 github similar
• haskell-numerics/hmatrix-sundials github similar
• mstksg/wavelets github similar
• GaloisInc/saw-core-sbv github similar
• michaelpj/hsmods-logic github similar
• hasktorch/ffi github similar
• agrafix/timespan github similar
• NCrashed/pdf-slave github similar
• basvandijk/regional-pointers github similar
• trskop/connection-pool github similar
• basvandijk/unbounded-delays github similar
• meteficha/hierarchical-clustering github similar
• tmcdonell/accelerate-blas github similar
• sydow/ireal github similar
• AccelerateHS/accelerate-fft github similar
• basvandijk/monad-batcher github similar
• TerrorJack/ghc-alter github similar
• soupi/x86-debug github similar
• notogawa/graceful github similar
• minad/intro github similar
• fpco/stackage-curator github similar
• GaloisInc/hexdump github similar
• idontgetoutmuch/largeword github similar
• HeinrichApfelmus/optimize-monad-trans github similar
• glutamate/datasets github similar
• unrelentingtech/wai-cli github similar
• haskell-vanguard/haskell-vanguard github similar
• GaloisInc/gidl github similar
• GaloisInc/simple-tar github similar
• icicle-lang/zebra-ambiata github similar
• jonascarpay/convoluted github similar
• danistefanovic/build-your-own-x github similar
• GaloisInc/aterm-utils github similar
• DanBurton/coroutine-interfaces github similar
• idontgetoutmuch/Legendre github similar
• idontgetoutmuch/Leapfrog github similar