Similar repositories to arosien/sequentish:
arosien/sequentish
github
similar
Inpher/scala-mpc-playground
github
similar
stewSquared/ukanren
github
similar
scalameta/moped
github
similar
underscoreio/scalax15-interpreters
github
similar
ckipp01/tooling-talks
github
similar
noelwelsh/pfennig
github
similar
non/imp
github
similar
MasseGuillaume/ScalaKata2
github
similar
travisbrown/dhallj
github
similar
xdotai/diff
github
similar
com-lihaoyi/PPrint
github
similar
siddhartha-gadgil/ProvingGround
github
similar
scalameta/nvim-metals
github
similar
Chymyst/curryhoward
github
similar
kailuowang/henkan
github
similar
morphismtech/squeal
github
similar
endpoints4s/endpoints4s
github
similar
janestreet/learn-ocaml-workshop
github
similar
cvogt/cbt
github
similar
apicollective/apibuilder
github
similar
oleg-py/better-monadic-for
github
similar
precog/matryoshka
github
similar
typelevel/simulacrum
github
similar
pauljamescleary/scala-pet-store
github
similar
com-lihaoyi/fastparse
github
similar
hypotext/notation
github
similar
scalameta/metals
github
similar
typelevel/scalacheck
github
similar
dafny-lang/dafny
github
similar
monix/monix
github
similar
Trusted-AI/AIF360
github
similar
typelevel/fs2
github
similar
com-lihaoyi/Ammonite
github
similar
milessabin/shapeless
github
similar
indexzero/nconf
github
similar
coq/coq
github
similar
scalaz/scalaz
github
similar
typelevel/cats
github
similar
lampepfl/dotty
github
similar