Similar repositories to YoEight/stream:
YoEight/stream
github
similar
andrewthad/lens-prelude
github
similar
ekmett/thrists
github
similar
paulcc/xsaiga
github
similar
AshyIsMe/lambdatwit
github
similar
relrod/tryidris-scala
github
similar
argonaut-io/argonaut-hs
github
similar
ekmett/order-statistics
github
similar
seereason/logic-classes
github
similar
soimort/idris-commonmark
github
similar
copumpkin/vector-mmap
github
similar
purefn/bytestring
github
similar
relrod/tryidris-android
github
similar
joshcough/HaskellCourse
github
similar
copumpkin/java
github
similar
mankyKitty/idris-webgl
github
similar
jdegoes/redeyes
github
similar
Eelis/qs-avg
github
similar
mgsloan/instance-templates
github
similar
ekmett/revisions
github
similar
metasepi/netbsd-arafura-s1
github
similar
david-christiansen/idris-utils
github
similar
ekmett/search
github
similar
markhibberd/lens-talk
github
similar
jonsterling/TT-Reflection
github
similar
ekmett/sparse
github
similar
inc-lc/ilc-agda
github
similar
ekmett/codebruijn
github
similar
edwinb/Eff-new
github
similar
jfdm/idris-xml
github
similar
MaxOw/Idris-WebGL
github
similar
sacundim/free-operational
github
similar
kolmodin/spdy
github
similar
YoEight/deiko-config
github
similar
amosr/limp
github
similar
ekmett/homotopy
github
similar
Barry-Jay/Intensional-computation
github
similar
quarterpast/fantasy-http
github
similar
nilcons/haskell-tz
github
similar
Jonplussed/haskbot-core
github
similar