Similar repositories to wjzz/Agda-Representing-Monads:

• wjzz/Agda-Representing-Monads github similar
• danistefanovic/build-your-own-x github similar
• effectfully/Big-Step-Normalization github similar
• guillaumebrunerie/HoTT-Agda github similar
• effectfully/Beauty-and-the-Beast github similar
• shinji-kono/zf-in-agda github similar
• ikedaisuke/HoareLogic github similar
• wjzz/Agda-small-developments-and-examples github similar
• wjzz/Agda-reflection-for-semiring-solver github similar
• toothbrush/reflection-proofs github similar
• sergei-romanenko/staged-mrsc-agda github similar
• sergei-grechanik/supercompilation-hypergraph github similar
• gergoerdi/stlc-agda github similar
• dvanhorn/pcf github similar
• bobatkey/system-f-parametricity-model github similar
• sstucki/pts-agda github similar
• gallais/agda-nbe github similar
• tvdstorm/oalgcomp github similar
• reinerp/indexed github similar
• jespercockx/popl19-tutorial github similar
• effectfully/STLC github similar
• UnkindPartition/freemonad-benchmark github similar
• jsiek/gradual-typing-in-agda github similar
• gallais/agda-presburger github similar
• pigworker/CS410-13 github similar
• namin/lms-verify github similar
• dvanhorn/oaam github similar
• ilya-klyuchnikov/mrsc github similar
• fisherdj/miniAdapton github similar
• sstucki/system-f-agda github similar
• jsiek/B522-PL-Foundations github similar
• kmicinski/cmsc330examples github similar
• jameshegarty/darkroom github similar
• ilya-klyuchnikov/ttlite github similar
• andrejbauer/Homotopy github similar
• Saizan/miller github similar
• jstolarek/why-dependent-types-matter github similar
• jsiek/B629-denotational github similar
• pigworker/MetaprogAgda github similar
• scmu/aopa github similar