Similar repositories to ramonfmir/lean-scheme:

• ramonfmir/lean-scheme github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• gibiansky/IHaskell github similar
• aquynh/capstone github similar
• groupoid/anders github similar
• ImperialCollegeLondon/M4P33 github similar
• tuvtran/project-based-learning github similar
• smlnj/smlnj github similar
• leanprover-community/lean-perfectoid-spaces github similar
• kbuzzard/lean-stacks-project github similar
• b-mehta/topos github similar
• guillaumebrunerie/initiality github similar
• fredefox/cat github similar
• thescrivener/PursuingStacks github similar
• leanprover-community/format_lean github similar
• felixwellen/DCHoTT-Agda github similar
• mikeshulman/cohesivett github similar
• dlicata335/cart-cube github similar
• mortberg/gen-cart github similar
• AndrasKovacs/universes github similar
• flypitch/flypitch github similar
• ericfinster/higher-alg github similar
• ReactTraining/react-router github similar
• jonsterling/lecture-notes github similar
• tootsuite/mastodon github similar
• juxt/crux github similar
• IanOrton/cubical-topos-experiments github similar
• ecavallo/ptt github similar
• favonia/hdtt2020-notes github similar
• gebner/hott3 github similar
• superhaNds/cwfs github similar
• ericfinster/catt.io github similar
• andrejbauer/higher-rank-syntax github similar
• HoTT/HoTT-2019 github similar
• AndrasKovacs/polynomial-model github similar
• ayberkt/formal-topology-in-UF github similar
• mikeshulman/ohtt github similar
• jmchapman/TT-in-TT github similar
• Shenyang1995/M4R github similar