Similar repositories to mortberg/yacctt:

• mortberg/yacctt github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• gibiansky/IHaskell github similar
• groupoid/anders github similar
• hecrj/iced github similar
• tuvtran/project-based-learning github similar
• effectfully/OTT github similar
• gebner/hott3 github similar
• bobatkey/sott github similar
• ralsei/six-eyes github similar
• dlicata335/cart-cube github similar
• neel-krishnaswami/linearml github similar
• tootsuite/mastodon github similar
• jozefg/blott github similar
• TOTBWF/muprl github similar
• RedPRL/redtt github similar
• twanvl/ttie github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• effectfully/Cubes github similar
• fredefox/cat github similar
• SMLFamily/The-Mechanization-of-Standard-ML github similar
• valis/hoq github similar
• RobertHarper/TILT-Compiler github similar
• gallais/generic-syntax github similar
• ziman/itt-idris github similar
• vrahli/NuprlInCoq github similar
• sweirich/tal github similar
• jozefg/miniprl github similar
• aquynh/capstone github similar
• meilisearch/MeiliSearch github similar
• jozefg/nbe-for-mltt github similar
• CHTT-s18/lecture-notes github similar
• david-christiansen/epigram1 github similar
• LightAndLight/qtt github similar
• m-yac/tt-in-cagda github similar
• cedille/cedille-developments github similar
• felixwellen/DCHoTT-Agda github similar
• TOTBWF/cubical-categories github similar
• Saizan/cubical-demo github similar