Similar repositories to ermine-language/ermine-scala-core:
ermine-language/ermine-scala-core
github
similar
ermine-language/ermine-legacy
github
similar
gibiansky/IHaskell
github
similar
danistefanovic/build-your-own-x
github
similar
pixijs/pixi.js
github
similar
runarorama/scala-bound
github
similar
ohnosequences/statika
github
similar
argonaut-io/argonaut-hs
github
similar
relrod/tryidris-android
github
similar
precog/quasar
github
similar
ReactTraining/react-router
github
similar
ermine-language/ermine-parser
github
similar
taku0/purescript_fingertree
github
similar
KesterTong/idris-finite-math
github
similar
purescript/registry
github
similar
soimort/idris-commonmark
github
similar
domdere/fp-in-idris
github
similar
ekmett/homotopy
github
similar
scalaz/scalaz-geo
github
similar
reynir/Verified
github
similar
travisbrown/instancez
github
similar
milessabin/strangeloop-2013
github
similar
motemen/jusk
github
similar
mgsloan/instance-templates
github
similar
sdiehl/haskell-linenoise
github
similar
david-christiansen/idris-utils
github
similar
deepfire/nh
github
similar
puffnfresh/scrappy
github
similar
xuwei-k/iarray
github
similar
jonsterling/TT-Reflection
github
similar
idris-hackers/idris-bot
github
similar
pthariensflame/scala-pipes
github
similar
puffnfresh/stl-idris
github
similar
dwijnand/sbt-dynver
github
similar
tkareine/hackjkl-intro-frp
github
similar
functionalbrighton/roy-june-2012
github
similar
edwinb/Eff-new
github
similar
jfdm/idris-xml
github
similar
srijs/haskell-aws-dynamodb-conduit
github
similar
andrewthad/lens-prelude
github
similar