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