Similar repositories to y-oda/slide_idris201803:
y-oda/slide_idris201803
github
similar
demouth/mario-go
github
similar
dot-motd/dragon-quest
github
similar
playframework/play-scala-seed.g8
github
similar
sbt/sbt-projectmatrix
github
similar
sandai/30nichideosjisaku
github
similar
commercialhaskell/lts-haskell
github
similar
scalacenter/scala-3-migration-guide
github
similar
graalvm/graalvm-demos
github
similar
iheartradio/play-swagger
github
similar
marconilanna/REPLesent
github
similar
neoascetic/rawgithack
github
similar
plokhotnyuk/jsoniter-scala
github
similar
hseeberger/akka-http-json
github
similar
scala/scala-parser-combinators
github
similar
softwaremill/magnolia
github
similar
com-lihaoyi/scalatags
github
similar
scalacenter/bloop
github
similar
wtetsu/mouse-dictionary
github
similar
JetBrains/intellij-scala
github
similar
lloydmeta/enumeratum
github
similar
tcnksm/ghr
github
similar
twitter/rsc
github
similar
scalameta/scalafmt
github
similar
softwaremill/sttp
github
similar
akka/akka-http
github
similar
scopt/scopt
github
similar
fthomas/refined
github
similar
c-bata/kube-prompt
github
similar
coursier/coursier
github
similar
tweag/asterius
github
similar
FStarLang/FStar
github
similar
http4s/http4s
github
similar
neologd/mecab-ipadic-neologd
github
similar
typelead/eta
github
similar
slick/slick
github
similar
xmonad/xmonad
github
similar
scala-native/scala-native
github
similar
milessabin/shapeless
github
similar
google/data-transfer-project
github
similar