Similar repositories to mchakravarty/accelerate-agda:

• mchakravarty/accelerate-agda github similar
• gibiansky/IHaskell github similar
• paf31/acme-all-monad github similar
• ku-fpg/wakarusa github similar
• mwotton/ctkl github similar
• joneshf/PaD github similar
• aristidb/functors github similar
• fumieval/combinator-interactive github similar
• jfischoff/tweak github similar
• int-e/zeckendorf github similar
• Philonous/hs-stun github similar
• GaloisInc/secure-sockets github similar
• jwiegley/consistent github similar
• dorchard/stencil-algebra github similar
• khibino/haskell-invertible-syntax-parsec github similar
• shiatsumat/type-level-bst github similar
• tsurucapital/beamable github similar
• conal/DeepArrow github similar
• mikeplus64/repl github similar
• Zankoku-Okuno/luthor github similar
• mikeplus64/indices github similar
• gtk2hs/gstreamer github similar
• yairchu/hmm github similar
• shiatsumat/cluss github similar
• DanielSchuessler/th-build github similar
• agrafix/legoDSL github similar
• ekmett/blase github similar
• ekmett/predictors github similar
• dima-starosud/Dynamic github similar
• ekmett/semigroupoid-extras github similar
• batterseapower/termination-combinators github similar
• bmillwood/notcpp github similar
• mokus0/shapefile github similar
• abarbu/nondeterminism-haskell github similar
• jozefg/cooked-pi github similar
• ghcjs/ghcjs-closure github similar
• tsurucapital/hmatrix-quadprogpp github similar
• jwiegley/pipes-async github similar
• jfischoff/generic-maybe github similar
• rodrigosetti/io-throttle github similar