Similar repositories to sblack4/category-theory-for-programmers-in-scala:
danistefanovic/build-your-own-x
github
similar
sblack4/category-theory-for-programmers-in-scala
github
similar
elbaulp/Scala-Category-Theory
github
similar
to-ithaca/libra
github
similar
ligurio/practical-fm
github
similar
yatima-inc/yatima-lang-alpha
github
similar
thma/WhyHaskellMatters
github
similar
statebox/awesome-applied-ct
github
similar
7mind/izumi
github
similar
com-lihaoyi/os-lib
github
similar
scalacenter/bloop
github
similar
scala/scala-parser-combinators
github
similar
michaelt/martin-lof
github
similar
rtimush/sbt-updates
github
similar
OpenLogicProject/OpenLogic
github
similar
thma/LtuPatternFactory
github
similar
polysemy-research/polysemy
github
similar
BartoszMilewski/Publications
github
similar
plfa/plfa.github.io
github
similar
winitzki/sofp
github
similar
pathikrit/better-files
github
similar
com-lihaoyi/mill
github
similar
typelevel/scalacheck
github
similar
agda/agda
github
similar
http4s/http4s
github
similar
typelead/eta
github
similar
idris-lang/Idris-dev
github
similar
zio/zio
github
similar
Frege/frege
github
similar
coq/coq
github
similar
system-f/fp-course
github
similar
racket/racket
github
similar
unisonweb/unison
github
similar
sbt/sbt
github
similar
scalaz/scalaz
github
similar
typelevel/cats
github
similar
Kindelia/HVM
github
similar
lampepfl/dotty
github
similar
hmemcpy/milewski-ctfp-pdf
github
similar
AGWA/git-crypt
github
similar