Similar repositories to Tritlo/dynamic-haskell-plugin:

• Tritlo/dynamic-haskell-plugin github similar
• LightAndLight/certified-lc github similar
• joshuasellers/CardgameDSL github similar
• ayberkt/chi github similar
• kcsmnt0/proof-trees github similar
• shayan-najd/HsAST github similar
• ahmadsalim/well-typed-agda-interpreter github similar
• ayberkt/simplc github similar
• liamoc/dddp github similar
• jespercockx/reflection-tutorial github similar
• UlfNorell/quasi-quote github similar
• appliedfm/vstyle github similar
• mrkgnao/pico github similar
• JoeyEremondi/lambda-pi-constraint github similar
• takanuva/coc github similar
• YouyouCong/type-preserving-cps github similar
• gmalecha/coq-printf github similar
• tjknoth/resyn github similar
• cursorless-dev/vscode-parse-tree github similar
• ankitku/TAL0 github similar
• fprasx/peapod github similar
• jdevuyst/rekenaar github similar
• dboulytchev/miniKanren-coq github similar
• yallop/haskell-frex github similar
• bobatkey/system-f-parametricity-model github similar
• catseye/Mascarpone github similar
• sstucki/pts-agda github similar
• hurryabit/pukeko github similar
• LightAndLight/parametricity-proofs github similar
• SomewhatML/sml-analyzer github similar
• gallais/typing-with-leftovers github similar
• kthielen/stlcc github similar
• effectfully/STLC github similar
• LightAndLight/idris-but-its-c github similar
• LightAndLight/cbpv github similar
• Lysxia/coq-simple-io github similar
• palmskog/coq-program-verification-template github similar
• Ucombinator/parsing-with-zippers github similar
• silky/super-reference github similar
• L-TChen/MtacAR github similar