Similar repositories to uulm-ai/scadd:
uulm-ai/scadd
github
similar
bacam/coqjvm
github
similar
djspiewak/derivative-combinators
github
similar
boomerang-lang/boomerang
github
similar
jyp/nano-Agda
github
similar
scala-yinyang/scala-yinyang
github
similar
lrytz/efftp
github
similar
slamdata/truffled-purescript
github
similar
cell-lang/compiler
github
similar
idris-hackers/atom-language-idris
github
similar
pelotom/effectful
github
similar
ziman/lightyear
github
similar
mmhelloworld/idris-jvm
github
similar
edwinb/Blodwen
github
similar
andyarvanitis/purescript-native
github
similar
mrakgr/The-Spiral-Language
github
similar
com-lihaoyi/fastparse
github
similar
com-lihaoyi/mill
github
similar
optics-dev/Monocle
github
similar
flix/flix
github
similar
fthomas/refined
github
similar
typelevel/spire
github
similar
dafny-lang/dafny
github
similar
leanprover/lean
github
similar
com-lihaoyi/Ammonite
github
similar
typelead/eta
github
similar
sdiehl/write-you-a-haskell
github
similar
milessabin/shapeless
github
similar
idris-lang/Idris-dev
github
similar
twitter/scalding
github
similar
Frege/frege
github
similar
scala-native/scala-native
github
similar
scalaz/scalaz
github
similar
carp-lang/Carp
github
similar
red/red
github
similar
lampepfl/dotty
github
similar
fpinscala/fpinscala
github
similar
purescript/purescript
github
similar
cayleygraph/cayley
github
similar
dwmkerr/hacker-laws
github
similar