Similar repositories to jespercockx/popl19-tutorial:

• jespercockx/popl19-tutorial github similar
• danistefanovic/build-your-own-x github similar
• aquynh/capstone github similar
• andreasabel/ipl github similar
• gibiansky/IHaskell github similar
• madgen/refinement-types-seminar github similar
• eddywestbrook/predicate-monads github similar
• jespercockx/ohrid19-agda github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• RobertHarper/hott-notes github similar
• Lysxia/system-F github similar
• clayrat/modal-types github similar
• thery/T2048 github similar
• kcsmnt0/proof-trees github similar
• math-comp/POPLmark github similar
• effectfully/inference-in-agda github similar
• SimonBoulier/TypingFlags github similar
• takanuva/coc github similar
• proofengineering/proofengineering-bib github similar
• roglo/coq_real github similar
• uds-psl/churchs-thesis-coq github similar
• LightAndLight/idris-but-its-c github similar
• lambdabetaeta/modal-logics github similar
• gallais/agda-presburger github similar
• ioanluca/real-world-idris github similar
• palmskog/coq-program-verification-template github similar
• tootsuite/mastodon github similar
• postalhq/postal github similar
• MaiaVictor/formality-agda-lib-legacy github similar
• hecrj/iced github similar
• Lysxia/coq-recursion-schemes github similar
• Eloston/ungoogled-chromium github similar
• tuvtran/project-based-learning github similar
• pa-ba/calc-comp github similar
• bedrocksystems/cpp2v github similar
• pixijs/pixi.js github similar
• llelf/icfp2019-papers github similar
• rafaelcgs10/W-in-Coq github similar
• gfngfn/toy-macro-ml github similar
• fizruk/lambda-mu-mu-calculus github similar