Similar repositories to relrod/tryidris-scala:

• relrod/tryidris-scala github similar
• andrewthad/lens-prelude github similar
• dysinger/khartes github similar
• precog/quasar github similar
• relrod/tryidris-android github similar
• jwiegley/bcalc github similar
• soimort/idris-commonmark github similar
• tonymorris/plt-study github similar
• tonymorris/fp-for-business github similar
• argonaut-io/argonaut-hs github similar
• YoEight/stream github similar
• joshcough/HaskellCourse github similar
• tonymorris/scalaz-history github similar
• LeifW/online-typechecker github similar
• ekmett/thrists github similar
• jdegoes/redeyes github similar
• mgsloan/instance-templates github similar
• AshyIsMe/lambdatwit github similar
• runarorama/lambda github similar
• metasepi/netbsd-arafura-s1 github similar
• david-christiansen/idris-utils github similar
• Raynes/least github similar
• mathink/Cat_on_Coq github similar
• edwinb/Eff-new github similar
• jfdm/idris-xml github similar
• MaxOw/Idris-WebGL github similar
• trskop/hsansible github similar
• idris-hackers/eff-tutorial github similar
• YoEight/deiko-config github similar
• copumpkin/java github similar
• quarterpast/fantasy-http github similar
• nilcons/haskell-tz github similar
• Jonplussed/haskbot-core github similar
• aloiscochard/drscala github similar
• ohnosequences/statika github similar
• andyarvanitis/IdrisObjCExperiment github similar
• reynir/Verified github similar
• jneira/wai-servlet github similar
• jwiegley/categorical github similar
• gclaramunt/scala-reggen github similar