Similar repositories to cedille/cedille-developments:

• cedille/cedille-developments github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• takanuva/coc github similar
• jmchapman/Relative-Monads github similar
• m-yac/tt-in-cagda github similar
• cedille/cedille-cast github similar
• gallais/agdarky github similar
• AndrasKovacs/preordertt github similar
• jonsterling/lecture-notes github similar
• Eloston/ungoogled-chromium github similar
• tuvtran/project-based-learning github similar
• twanvl/ttie github similar
• gallais/agda-sizedIO github similar
• gallais/typing-with-leftovers github similar
• astump/cedilleum-spec github similar
• hablapps/LensAlgebra github similar
• gergoerdi/interaction-nets github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• astump/cedille-core-spec github similar
• laMudri/quantitative github similar
• scmu/foundations-harper github similar
• Saizan/cubical-demo github similar
• mortberg/yacctt github similar
• bobatkey/system-f-parametricity-model github similar
• maxsnew/virtual-equipments github similar
• effectfully/OTT github similar
• jespercockx/reflection-tutorial github similar
• dlicata335/cart-cube github similar
• groupoid/anders github similar
• bobatkey/agda-metric-reals github similar
• pigworker/TypesWhoSayNi github similar
• LightAndLight/qtt github similar
• LightAndLight/idris-but-its-c github similar
• pis147879/PELCR github similar
• poplmark-reloaded/poplmark-reloaded github similar
• metaborg/linear.agda github similar