Similar repositories to jyp/nano-Agda:

• jyp/nano-Agda github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• gibiansky/IHaskell github similar
• TheoWinterhalter/formal-type-theory github similar
• UlfNorell/insane github similar
• neel-krishnaswami/linearml github similar
• mortberg/yacctt github similar
• jozefg/nbe-for-mltt github similar
• ilya-klyuchnikov/ttlite github similar
• gallais/generic-syntax github similar
• sweirich/tal github similar
• adamgundry/type-inference github similar
• jozefg/blott github similar
• ucsd-progsys/mist github similar
• andreasabel/miniagda github similar
• effectfully/Cubes github similar
• WhatisRT/meta-cedille github similar
• evertedsphere/sound-and-complete github similar
• shaunlebron/parinfer github similar
• ilya-klyuchnikov/lambdapi github similar
• david-christiansen/epigram1 github similar
• ezyang/lr-agda github similar
• RobertHarper/TILT-Compiler github similar
• ziman/itt github similar
• UlfNorell/agda-summer-school github similar
• sweirich/corespec github similar
• dorchard/effects-as-sessions github similar
• gallais/parseque github similar
• evertedsphere/how-to-implement-dependent-type-theory github similar
• effectfully/OTT github similar
• UlfNorell/x86-agda github similar
• pigworker/Samizdat github similar
• standardml/twelf github similar
• andgate/type-theory-compiler github similar
• david-christiansen/pudding-old github similar
• andreasabel/ipl github similar
• wilbowma/dissertation github similar
• TOTBWF/muprl github similar
• bobatkey/system-f-parametricity-model github similar