Similar repositories to GaloisInc/estimator:

• GaloisInc/estimator github similar
• gibiansky/IHaskell github similar
• haskell-numerics/hmatrix-sundials github similar
• idontgetoutmuch/Kalman github similar
• dorchard/codo-notation github similar
• ttuegel/loops github similar
• cocreature/diagrams-miso github similar
• teh/gluon github similar
• ivan-m/transmogrify github similar
• np/strict-io github similar
• jfischoff/llvm-quasi github similar
• cocreature/llreve-backend github similar
• GaloisInc/cryptol-verifier github similar
• tmcdonell/Lol-accelerate github similar
• ttuegel/refined-linear github similar
• jwiegley/simple-ltl github similar
• mstksg/wavelets github similar
• aquynh/capstone github similar
• danistefanovic/build-your-own-x github similar
• eggplantbren/NestedSampling.hs github similar
• ocramz/matrix-market-attoparsec github similar
• mstksg/eggvisor github similar
• tootsuite/mastodon github similar
• nh2/shared-memory github similar
• alphaHeavy/lzma-conduit github similar
• quchen/stackalone github similar
• albertoruiz/hTensor github similar
• HeinrichApfelmus/optimize-monad-trans github similar
• ezyang/deepseq-magic github similar
• conal/linear-map-gadt github similar
• GaloisInc/simple-tar github similar
• GaloisInc/cryfsm github similar
• adnelson/nix-binary-cache github similar
• koengit/satplus github similar
• jwiegley/haskell-to-c github similar
• TerrorJack/easy-ffi github similar
• simonmar/toy-haxl github similar
• conal/total-map github similar
• ranjitjhala/haddock-annot github similar
• k0001/pipes-aeson github similar