Similar repositories to asr/dtfl:

• asr/dtfl github similar
• gibiansky/IHaskell github similar
• shaunlebron/parinfer github similar
• wjzz/Agda-mode-improvements github similar
• wjzz/Agda-reflection-for-semiring-solver github similar
• lucaswiman/revex github similar
• larrytheliquid/generic-elim github similar
• pigworker/CS410-16 github similar
• gallais/agdarky github similar
• bobatkey/authenticated-data-structures github similar
• andreasabel/ipl github similar
• pigworker/Totality github similar
• ezyang/lr-agda github similar
• effectfully/STLC github similar
• pigworker/EGTBS github similar
• toothbrush/reflection-proofs github similar
• pigworker/CS410-13 github similar
• steventroughtonsmith/InsideMacintosh github similar
• christian-marie/servant-purescript github similar
• gallais/pearl-binary-search github similar
• langston-barrett/CoverTranslator github similar
• dmbaturin/hope github similar
• L-TChen/MtacAR github similar
• steventroughtonsmith/BitPaint github similar
• markokoleznik/agda-writer github similar
• bordaigorl/stargazer github similar
• ndmitchell/ghc-make github similar
• agda/agda-frp-ltl github similar
• pigworker/Samizdat github similar
• steventroughtonsmith/MPWTest github similar
• phischu/monad-examples github similar
• coq-community/autosubst github similar
• erkyrath/iosfizmo github similar
• jespercockx/ataca github similar
• langston-barrett/write-yourself-a-scheme-in-agda github similar
• anuyts/agda-sessions github similar
• scmu/foundations-harper github similar
• jstolarek/why-dependent-types-matter github similar
• banacorn/agda-mode github similar
• Saizan/miller github similar