Similar repositories to tixxit/idris-curses:
danistefanovic/build-your-own-x
github
similar
tixxit/idris-curses
github
similar
bamboo/idris-game-of-life
github
similar
justjoheinz/idris-httpclient
github
similar
Heather/Idris.Yaml
github
similar
mukeshtiwari/Idris
github
similar
marconilanna/NEScala2015
github
similar
heathermiller/scala-pickling
github
similar
HuwCampbell/idris-lens
github
similar
fpco/haskell-ide
github
similar
kaja47/sketches
github
similar
idris-hackers/idris-posix
github
similar
rjmac/rojoma-json
github
similar
edwinb/States
github
similar
bmsherman/blog
github
similar
travisbrown/abstracted
github
similar
adelbertc/aiyou
github
similar
retronym/boxer
github
similar
TomasMikula/pascal
github
similar
strymonas/staged-streams.scala
github
similar
TiarkRompf/scala-escape
github
similar
jupyter-scala/ammonium
github
similar
orrsella/sbt-stats
github
similar
VerbalExpressions/ScalaVerbalExpressions
github
similar
stedolan/idris-malfunction
github
similar
rklaehn/abc
github
similar
rklaehn/radixtree
github
similar
denisrosset/metal
github
similar
rdnetto/powerline-hs
github
similar
erikerlandson/coulomb
github
similar
loicdescotte/pureWebappSample
github
similar
timjb/quantities
github
similar
Ichoran/thyme
github
similar
aztek/scala-workflow
github
similar
pelotom/effectful
github
similar
to-ithaca/libra
github
similar
Comcast/ip4s
github
similar
nativelibs4java/Scalaxy
github
similar
idris-hackers/idris-vim
github
similar
ziman/lightyear
github
similar