Similar repositories to WhatisRT/meta-cedille:

• WhatisRT/meta-cedille github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• gibiansky/IHaskell github similar
• effectfully/Cubes github similar
• groupoid/anders github similar
• postalhq/postal github similar
• Eloston/ungoogled-chromium github similar
• meilisearch/MeiliSearch github similar
• effectfully/inference-in-agda github similar
• ak3n/abt-zoo github similar
• robrix/Manifold github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• fsestini/tt-in-cubical github similar
• mr-ohman/logrel-mltt github similar
• ecavallo/ptt github similar
• ziman/itt-idris github similar
• RobertHarper/hott-notes github similar
• wilbowma/dissertation github similar
• effectfully/OTT github similar
• takanuva/coc github similar
• Lapin0t/induction-recursion github similar
• LightAndLight/qtt github similar
• pixijs/pixi.js github similar
• mozilla/serviceworker-cookbook github similar
• k6io/k6 github similar
• GamestonkTerminal/GamestonkTerminal github similar
• m-yac/tt-in-cagda github similar
• laMudri/generic-lr github similar
• jonsterling/coq-domains github similar
• fizruk/lambda-mu-mu-calculus github similar
• shaunlebron/parinfer github similar
• neel-krishnaswami/linearml github similar
• edwinb/SchemeEval github similar
• robrix/isometry github similar
• robrix/path github similar
• Lysxia/system-F github similar
• anuyts/menkar github similar