Similar repositories to rodrigogribeiro/agda-software-foundations:

• rodrigogribeiro/agda-software-foundations github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• ReactTraining/react-router github similar
• RobertHarper/hott-notes github similar
• scmu/foundations-harper github similar
• groupoid/anders github similar
• jstolarek/why-dependent-types-matter github similar
• ezyang/lr-agda github similar
• wenkokke/msla2014 github similar
• gibiansky/IHaskell github similar
• Eloston/ungoogled-chromium github similar
• UlfNorell/agda-summer-school github similar
• scott-fleischman/agda-from-nothing github similar
• notogawa/sfja-agda github similar
• scott-fleischman/agda-travis github similar
• joom/modal github similar
• crypto-agda/crypto-agda github similar
• pigworker/Pivotal github similar
• benjaminselfridge/logix github similar
• markokoleznik/agda-writer github similar
• langston-barrett/coq-big-o github similar
• juxt/crux github similar
• pixijs/pixi.js github similar
• sarsko/CreuSAT github similar
• mr-ohman/logrel-mltt github similar
• zaklogician/typical-antiphrasis github similar
• effectfully/OTT github similar
• pigworker/CS410-13 github similar
• coq-contribs/icharate github similar
• pigworker/CS410-14 github similar
• dbp/howtoprovefullabstraction github similar
• neel-krishnaswami/linearml github similar
• scott-fleischman/redprl-notes github similar
• mrkgnao/utt github similar
• wouter-swierstra/xmonad github similar
• takanuva/coc github similar
• RobertHarper/TILT-Compiler github similar
• dlicata335/cubicalexperiments github similar
• liamoc/agda-snippets github similar