Similar repositories to bobatkey/algebraically-indexed-types:

• bobatkey/algebraically-indexed-types github similar
• gibiansky/IHaskell github similar
• Pauan/nino github similar
• hecrj/iced github similar
• amosr/game-pilot github similar
• shaunlebron/parinfer github similar
• andreasabel/type-preserving-cps github similar
• guilhermehas/agda-quotient-types github similar
• shayan-najd/Haskell-Desugar github similar
• liquidhaskell/template github similar
• nh2/multishake github similar
• acowley/language-c github similar
• kmcallister/propane github similar
• xplat/potpourri github similar
• karamaan/product-profunctors github similar
• dolio/ww-fusion github similar
• sdiehl/ts github similar
• philopon/best-haskell github similar
• andreasabel/sized-types github similar
• ku-fpg/diagrams-canvas github similar
• bobatkey/Forvie github similar
• darius/quick-study github similar
• namin/steps github similar
• benkavanagh/ccoq-explicit-sn github similar
• hansbugge/cubicaltt github similar
• mcopes73/standardization-agda github similar
• fsestini/nbe-weak-stlc github similar
• CLowcay/hgbc github similar
• dagit/haray github similar
• svenssonjoel/EmbArBB github similar
• vincenthz/hs-unix-memory github similar
• ekmett/thrists github similar
• jtobin/speedy-slice github similar
• tel/intone github similar
• niccoloveltri/agda-gtt github similar
• pcapriotti/pipes-core github similar
• quchen/amoeba github similar
• glguy/GhcPkgUtils github similar
• agda/agda-assoc-free github similar
• kofno/purescript-aws-lambda github similar