Similar repositories to wo/tpg:

• wo/tpg github similar
• danistefanovic/build-your-own-x github similar
• Eugeny/terminus github similar
• bobatkey/system-f-parametricity-model github similar
• thery/T2048 github similar
• tuvtran/project-based-learning github similar
• sstucki/pts-agda github similar
• hecrj/iced github similar
• GamestonkTerminal/GamestonkTerminal github similar
• L-TChen/MtacAR github similar
• metaborg/linear.agda github similar
• eddywestbrook/predicate-monads github similar
• tchajed/coq-record-update github similar
• bellissimogiorno/nominal github similar
• HoTT/EPIT-2020 github similar
• yforster/coqtheorem github similar
• uwplse/pumpkin-pi github similar
• Matafou/LibHyps github similar
• UlfNorell/quasi-quote github similar
• unicoq/unicoq github similar
• SimonBoulier/TypingFlags github similar
• JoeyEremondi/lambda-pi-constraint github similar
• gallais/thesis github similar
• jespercockx/ataca github similar
• andreasabel/ipl github similar
• arthuraa/deriving github similar
• LPCIC/coq-elpi github similar
• ayberkt/sequents github similar
• jmchapman/Relative-Monads github similar
• gallais/typing-with-leftovers github similar
• artagnon/bonak github similar
• agda/agda2hs github similar
• palmskog/coq-program-verification-template github similar
• pedrotst/coquedille github similar
• effectfully/Generic github similar
• coq/ceps github similar
• andreasabel/strong-normalization github similar
• vlopezj/coq-course github similar
• tchajed/ltac2-tutorial github similar
• scmu/aopa github similar