Similar repositories to pigworker/CS410-15:

• pigworker/CS410-15 github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• precog/quasar github similar
• pigworker/CS410-14 github similar
• RobertHarper/hott-notes github similar
• pigworker/Pivotal github similar
• pigworker/CS410-13 github similar
• pigworker/Samizdat github similar
• david-christiansen/IdrisAtGalois2015 github similar
• yav/type-nat-solver github similar
• msp-strath/ZEUG github similar
• UlfNorell/agda-summer-school github similar
• thsutton/cha github similar
• pigworker/Totality github similar
• andreasabel/helf github similar
• pigworker/Bi71 github similar
• pigworker/shonky github similar
• jstolarek/why-dependent-types-matter github similar
• jonsterling/hs-abt github similar
• slamdata/scala-abt github similar
• bobatkey/sorting-types github similar
• lukemaurer/sequent-core github similar
• david-christiansen/tt-playground github similar
• pigworker/LibAgda github similar
• dalaing/type-systems github similar
• pigworker/WhatRTypes4 github similar
• jozefg/miniprl github similar
• pigworker/so-pigworker github similar
• david-christiansen/epigram1 github similar
• crypto-agda/crypto-agda github similar
• idris-hackers/idris-bot github similar
• jonsterling/TT-Reflection github similar
• plclub/cis670-16fa github similar
• adamgundry/type-inference github similar
• parsonsmatt/lambda github similar
• tathougies/generic-lens github similar
• mathandley/Unie github similar
• scmu/foundations-harper github similar
• tel/scala-tk github similar