Similar repositories to jespercockx/ohrid19-agda:

• jespercockx/ohrid19-agda github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• aquynh/capstone github similar
• effectfully/proto-tt github similar
• bedrocksystems/cpp2v github similar
• Twey/agda-imp github similar
• LightAndLight/como github similar
• hecrj/iced github similar
• plt-hokusai/ahc github similar
• groupoid/anders github similar
• Eugeny/terminus github similar
• yizhouzhang/olaf-coq github similar
• RobertHarper/nsml github similar
• jespercockx/popl19-tutorial github similar
• xnning/Row-and-Bounded-via-Disjoint github similar
• LightAndLight/lambdapi github similar
• neel-krishnaswami/linearml github similar
• Lysxia/coq-mtl github similar
• visual-systems/philosophy github similar
• forked-from-1kasper/bravo github similar
• wilbowma/dissertation github similar
• favonia/ocaml-objdump github similar
• danelahman/POPL18 github similar
• mrkgnao/afterburner github similar
• andrejbauer/mathematics-and-computation github similar
• JacquesCarette/TheoriesAndDataStructures github similar
• evincarofautumn/hap-hs github similar
• neel-krishnaswami/inverse-bidirectional-typechecking github similar
• rossberg/mixml github similar
• RobertHarper/hott-notes github similar
• justinpombrio/synless github similar
• umazalakain/session-types-coq github similar
• pdarragh/camlrack github similar
• john-ml/lambda-calculus github similar
• graydon/pergola github similar
• elpinal/types-1ml github similar
• jonsterling/lean4-sgdt github similar
• Event-Structures/event-struct github similar