Similar repositories to leanprover/tc:

• leanprover/tc github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• alexcrichton/cc-rs github similar
• RobertHarper/hott-notes github similar
• tuvtran/project-based-learning github similar
• pixijs/pixi.js github similar
• meilisearch/MeiliSearch github similar
• kcsmnt0/quotient github similar
• Eloston/ungoogled-chromium github similar
• GaloisInc/lean4-balance-car github similar
• JoeyEremondi/lambda-pi-constraint github similar
• mb64/xtt github similar
• k6io/k6 github similar
• oven-sh/bun github similar
• ralsei/six-eyes github similar
• Chaaaos/formaltt github similar
• AndrasKovacs/implicit-fun-elaboration github similar
• gebner/hott3 github similar
• coq-contribs/coq-in-coq github similar
• groupoid/anders github similar
• nachivpn/k github similar
• AndrasKovacs/setoidtt github similar
• mhuisi/lean4-cli github similar
• mr-ohman/logrel-mltt github similar
• sweirich/lennart-lambda github similar
• JLimperg/aesop github similar
• GaloisInc/lean-haskell-bindings github similar
• arthuraa/agda-hoas-demo github similar
• Zekt/Type-Embellishment github similar
• RobertHarper/nsml github similar
• kckennylau/mathlib4 github similar
• bobatkey/system-f-parametricity-model github similar
• leanprover/presentations github similar
• metaborg/linear.agda github similar
• RedPRL/algaett github similar
• mortberg/yacctt github similar
• ziman/itt-idris github similar