Similar repositories to pigworker/EGTBS:

• pigworker/EGTBS github similar
• pigworker/Saturday github similar
• pigworker/Ming github similar
• jirkamarsik/lambda-mu github similar
• hablapps/LensAlgebra github similar
• liamoc/dddp github similar
• plt-hokusai/ahc github similar
• mikeshulman/dirtt github similar
• danistefanovic/build-your-own-x github similar
• gallais/agdarky github similar
• pigworker/TypesWhoSayNi github similar
• Lapin0t/induction-recursion github similar
• pigworker/Box github similar
• kcsmnt0/numbers github similar
• L-TChen/MtacAR github similar
• AndrasKovacs/preordertt github similar
• gallais/thesis github similar
• agda/agda-spec github similar
• m-yac/tt-in-cagda github similar
• LightAndLight/idris-lambda-reflection github similar
• pigworker/SSGEP-DataData github similar
• laMudri/quantitative github similar
• ayberkt/simplc github similar
• jonsterling/coq-sgdt github similar
• gallais/type-scope-semantics github similar
• mr-ohman/intuitionistic-normalization github similar
• asajeffrey/finite-dtypes github similar
• omega12345/RefactorAgda github similar
• bobatkey/sott github similar
• andreasabel/helf github similar
• mortberg/TypeTheory github similar
• plt-amy/agda-search github similar
• RobertHarper/hott-notes github similar
• Vierkantor/refinement-parsers github similar
• pigworker/InteriorDesign github similar
• pigworker/potato github similar
• twanvl/ttie github similar
• LightAndLight/parametricity-proofs github similar
• nbenton/coqdomains github similar
• ollef/region github similar