Similar repositories to xplat/potpourri:

• xplat/potpourri github similar
• benkavanagh/ccoq-explicit-sn github similar
• kmcallister/propane github similar
• karamaan/product-profunctors github similar
• agda/agda-assoc-free github similar
• philopon/best-haskell github similar
• xplat/agda-tactics github similar
• ruisb/LambdaPi github similar
• noteed/syntactical github similar
• danelahman/Normalization-By-Evaluation github similar
• ntc2/haskell-call-trace github similar
• danelahman/Directed-Containers github similar
• pigworker/WhatRTypes4 github similar
• pigworker/BathTime github similar
• robinp/nemnem github similar
• jmchapman/Big-step-Normalisation github similar
• bobatkey/algebraically-indexed-types github similar
• gallais/agda-nbe github similar
• trystan/silently github similar
• bitonic/tog github similar
• pigworker/Vole github similar
• bobatkey/sorting-types github similar
• bwkimmel/secd github similar
• pcapriotti/pipes-core github similar
• quchen/amoeba github similar
• ezyang/lr-agda github similar
• JonasDuregard/testing-feat github similar
• pigworker/shonky github similar
• JohnLato/language-objc github similar
• nilcons/ceh github similar
• pxqr/bittorrent github similar
• wenkokke/msla2014 github similar
• agda/agda-system-io github similar
• pigworker/Frank github similar
• technogeeky/icfp12-paper-links github similar
• ggreif/dynamic-loader github similar
• toothbrush/reflection-proofs github similar
• dorchard/effects-as-sessions github similar
• dterei/GhciOnline github similar
• antitypical/Manifold github similar