Similar repositories to amutake/coq-extensible-effects:

• amutake/coq-extensible-effects github similar
• precog/quasar github similar
• runarorama/sannanir github similar
• sbt/sbt-twt github similar
• akka/old-blog github similar
• folone/type-level-birds github similar
• pocketberserker/reflectionwithoutremorse-scalaz github similar
• denisrosset/qalg github similar
• hiroshi-cl/InverseMacros github similar
• wemrysi/foldz github similar
• sbt/sbt-dbuild github similar
• imuli/flow github similar
• joshcough/f0 github similar
• hiroshi-cl/InverseMacros-plugin github similar
• xuwei-k/gitbook-sample github similar
• clarissalittler/pi-calculus github similar
• larrytheliquid/zero-cost-coercions github similar
• jpaykin/DifferentialCohesiveHoTT github similar
• TomasMikula/freebind github similar
• fthomas/scalaz-stream-contrib github similar
• hamnis/der-process github similar
• nkpart/applicatives github similar
• puffnfresh/scalaz-concurrent-io github similar
• mietek/coquand github similar
• joom/idris-microKanren github similar
• coq-community/comp-dec-modal github similar
• 5HT/nying.ma github similar
• laughedelic/M-Cohomology github similar
• nakaday/Motivic_Verona github similar
• scalapb/protobuf-scala-runtime github similar
• typesafehub/giter8-package github similar
• mandubian/shapeless-rules github similar
• wemrysi/tseq github similar
• mandubian/shameless github similar
• mitchellwrosen/effects-a-la-carte github similar
• akabe/ppl2016 github similar
• okomok/strcat github similar
• xuwei-k/mima-web github similar
• scalapb-json/protoc-lint github similar
• tm507211/CoqPerceptron github similar