Similar repositories to pigworker/CS410-17:

• pigworker/CS410-17 github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• RobertHarper/hott-notes github similar
• tuvtran/project-based-learning github similar
• jozefg/higher-order-unification github similar
• Eloston/ungoogled-chromium github similar
• hecrj/iced github similar
• bobatkey/sott github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• sweirich/pi-forall github similar
• pigworker/CS410-18 github similar
• sweirich/tal github similar
• AndrasKovacs/elaboration-zoo github similar
• AndrasKovacs/smalltt github similar
• sweirich/challenge github similar
• adamgundry/type-inference github similar
• dpndnt/library github similar
• jozefg/nbe-for-mltt github similar
• mortberg/cubicaltt github similar
• andrejbauer/homotopy-type-theory-course github similar
• andreasabel/miniagda github similar
• discus-lang/iron github similar
• goldfirere/glambda github similar
• idris-hackers/software-foundations github similar
• uhub/awesome-coq github similar
• plfa/plfa.github.io github similar
• antalsz/hs-to-coq github similar
• frank-lang/frank github similar
• ollef/Bidirectional github similar
• type-theory/type-theory-study-group github similar
• evertedsphere/sound-and-complete github similar
• ReactTraining/react-router github similar
• nick8325/quickspec github similar
• achlipala/frap github similar
• snowleopard/selective github similar
• copumpkin/categories github similar
• granule-project/granule github similar
• goldfirere/singletons github similar