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