Similar repositories to RobertHarper/hott-materials:

• RobertHarper/hott-materials github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• clayrat/blott-experiments github similar
• pixijs/pixi.js github similar
• ReactTraining/react-router github similar
• Eloston/ungoogled-chromium github similar
• nbenton/coqdomains github similar
• RedPRL/sml-lcf github similar
• favonia/hdtt2020-notes github similar
• agda/guarded github similar
• RobertHarper/TILT-Compiler github similar
• ericfinster/opetopes-in-agda github similar
• JorisCeulemans/sikkel github similar
• andrisaar/Type-Theory-Foundations github similar
• mikeshulman/cohesivett github similar
• SydneyTypes/PLATYPUS github similar
• david-christiansen/jonprl-mode github similar
• ekmett/groupoids github similar
• AndrasKovacs/universes github similar
• RedPRL/kado github similar
• thescrivener/PursuingStacks github similar
• AndrasKovacs/qiit-generalizations github similar
• JohnWCartmell/Theory github similar
• jonsterling/sml-ifol-completeness github similar
• jonsterling/coq-meaning-explanation github similar
• jonsterling/brouwer-translations github similar
• jonsterling/bar-induction-slides github similar
• tlcsrc/tlcsrc.github.io github similar
• jonsterling/twelf-itt github similar
• aquynh/capstone github similar
• domchristie/turndown github similar
• jonsterling/lecture-notes github similar
• edx/edx-platform github similar
• RobertHarper/hott-notes github similar
• pigworker/Totality github similar
• tcampion/Semisimplicial github similar
• tel/ocaml-cats github similar
• IanOrton/cubical-topos-experiments github similar