Similar repositories to niccoloveltri/agda-gtt:

• niccoloveltri/agda-gtt github similar
• nmvdw/RezkCompletion github similar
• andrejtokarcik/agda-semantics github similar
• aquynh/capstone github similar
• Lysxia/coq-recursion-schemes github similar
• mroman42/optics-form-a-category github similar
• Zekt/Type-Embellishment github similar
• roc-lang/roc github similar
• zhangir-azerbayev/lean-chat-vscode github similar
• hecrj/iced github similar
• meilisearch/MeiliSearch github similar
• oven-sh/bun github similar
• ronami/HypeScript github similar
• guilhermehas/agda-quotient-types github similar
• uds-psl/fol-completeness-theorems github similar
• cj-xu/ContinuityType github similar
• unimath2019-tt/UniMath github similar
• liquidhaskell/template github similar
• jonsterling/coq-synthetic-realizability github similar
• UniMath/largecatmodules github similar
• RossMeikleham/idris-perl6 github similar
• danelahman/Dep-Mon-Parsing github similar
• bhaaksema/rug-picalc-redux github similar
• mroman42/vitrea-agda github similar
• haskell-effectful/cache-effectful github similar
• pigworker/CS311-classwork-2018 github similar
• pamellies/models-of-programming-languages github similar
• tomdjong/domain-theory-in-uf github similar
• 5HT/DependentLinearPi github similar
• nmvdw/GrpdHITs github similar
• DmxLarchey/Coq-Phase-Semantics github similar
• chris-martin/bricks github similar
• smimram/fibred-polynomials github similar
• parsonsmatt/record-impl github similar
• jonsterling/effectful-typesetting github similar
• ualib/agda-algebras github similar
• nmvdw/HITs-Examples github similar
• logsem/free-theorems-sl github similar
• tel/intone github similar
• jmchapman/categories github similar