Similar repositories to jqyu/dot-ott:

• jqyu/dot-ott github similar
• cwi-swat/implicit-propagation github similar
• plclub/lngen github similar
• kiritsuku/amora github similar
• TiarkRompf/scala-escape github similar
• plclub/metalib github similar
• palladin/Eff github similar
• b-studios/scala-effekt github similar
• effekt-lang/effekt github similar
• storm-enroute/coroutines github similar
• pelotom/effectful github similar
• travisbrown/iteratee github similar
• djspiewak/parseback github similar
• cs-au-dk/TIP github similar
• williamdemeo/TypeFunc github similar
• OlivierBlanvillain/monadic-html github similar
• ott-lang/ott github similar
• monadless/monadless github similar
• typelevel/scala github similar
• tchajed/coq-tricks github similar
• com-lihaoyi/utest github similar
• typelevel/kittens github similar
• granule-project/granule github similar
• atnos-org/eff github similar
• scallop/scallop github similar
• facebook/nailgun github similar
• scodec/scodec github similar
• typetools/checker-framework github similar
• typelevel/kind-projector github similar
• typelevel/simulacrum github similar
• topazproject/topaz github similar
• com-lihaoyi/fastparse github similar
• scala/scala-async github similar
• AbsInt/CompCert github similar
• jozefg/learn-tt github similar
• typelead/eta github similar
• uwu-tech/Kind github similar
• milessabin/shapeless github similar
• clientIO/joint github similar
• lampepfl/dotty github similar