Similar repositories to cmu-phil/Spectral:

• cmu-phil/Spectral github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• precog/quasar github similar
• RobertHarper/hott-notes github similar
• b-mehta/topos github similar
• gebner/hott3 github similar
• felixwellen/DCHoTT-Agda github similar
• mikeshulman/catlog github similar
• groupoid/lean github similar
• tydeu/lean4-papyrus github similar
• mortberg/yacctt github similar
• tuvtran/project-based-learning github similar
• Eloston/ungoogled-chromium github similar
• tootsuite/mastodon github similar
• RedPRL/sml-dependent-lcf github similar
• semorrison/lean-category-theory github similar
• CHTT-s18/lecture-notes github similar
• nmvdw/Three-HITs github similar
• jmchapman/TT-in-TT github similar
• groupoid/anders github similar
• leanprover-community/lean-perfectoid-spaces github similar
• robertylewis/mathematica github similar
• IanOrton/decomposing-univalence github similar
• flypitch/flypitch github similar
• htzh/leanproved github similar
• dlicata335/hott-agda github similar
• leanprover/presentations github similar
• groupoid/agda github similar
• andrejbauer/mathematics-and-computation github similar
• ramonfmir/lean-scheme github similar
• maxsnew/virtual-equipments github similar
• thescrivener/PursuingStacks github similar
• expnkx/fast_io github similar
• jonsterling/coq-meaning-explanation github similar
• HoTT/HoTT-2019 github similar
• Eugeny/terminus github similar
• iblech/internal-methods github similar
• dlicata335/cart-cube github similar
• meilisearch/MeiliSearch github similar