Similar repositories to ucsd-progsys/intro-refinement-types:

• ucsd-progsys/intro-refinement-types github similar
• danistefanovic/build-your-own-x github similar
• liquidhaskell/liquid-base github similar
• jcouyang/luci github similar
• typelevel/discipline-specs2 github similar
• goldfirere/video-resources github similar
• artagnon/bonak github similar
• ucsd-progsys/230-wi19-web github similar
• hasura/monad-validate github similar
• OPLSS/oplss-notes-2019 github similar
• Simspace/on-error github similar
• benhutchison/learningshapeless github similar
• Simspace/avaleryar github similar
• ucsd-progsys/mist github similar
• chshersh/dr-cabal github similar
• OPLSS/oplss-notes-2018 github similar
• mrkkrp/facts github similar
• obsidiansystems/dependent-map github similar
• ucsd-progsys/liquid-fixpoint github similar
• purescript/purescript-typelevel-prelude github similar
• Helium4Haskell/helium github similar
• ucsd-progsys/liquidhaskell-tutorial github similar
• isovector/type-errors github similar
• owo-lang/narc-rs github similar
• OPLSS/introduction-to-algebraic-effects-and-handlers github similar
• EugeneLoy/coq_jupyter github similar
• lexi-lambda/eff github similar
• dotty-staging/dotty github similar
• owo-lang/voile-rs github similar
• edwinb/SPLV20 github similar
• grin-compiler/ghc-whole-program-compiler-project github similar
• owo-lang/minitt-rs github similar
• qteatime/crochet github similar
• vil1/recursion-schemes-cookbook github similar
• ilya-klyuchnikov/lambdapi github similar
• purescript-python/purescript-python github similar
• fumieval/extensible github similar
• typelevel/feral github similar
• zio/interop-cats github similar
• grin-compiler/ghc-grin github similar