Similar repositories to pigworker/potato:

• pigworker/potato github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• effectfully/Cubes github similar
• gallais/agda-sizedIO github similar
• groupoid/anders github similar
• metaborg/linear.agda github similar
• RobertHarper/hott-notes github similar
• omega12345/RefactorAgda github similar
• ayberkt/simplc github similar
• m-yac/tt-in-cagda github similar
• Eloston/ungoogled-chromium github similar
• Twey/agda-imp github similar
• ronami/HypeScript github similar
• roc-lang/roc github similar
• gallais/agdarky github similar
• bobatkey/system-f-parametricity-model github similar
• john-ml/lambda-calculus github similar
• AndrasKovacs/preordertt github similar
• MrChico/Reals-in-agda github similar
• andgate/type-theory-compiler github similar
• laMudri/quantitative github similar
• TOTBWF/cubical-categories github similar
• langston-barrett/write-yourself-a-scheme-in-agda github similar
• effectfully/proto-tt github similar
• Toxaris/pts github similar
• pigworker/Ming github similar
• wilbowma/dissertation github similar
• pigworker/InteriorDesign github similar
• Vierkantor/refinement-parsers github similar
• effectfully/inference-in-agda github similar
• evincarofautumn/hap-hs github similar
• roglo/coq_real github similar
• twanvl/ttie github similar
• gallais/typing-with-leftovers github similar
• LightAndLight/parametricity-proofs github similar
• andreasabel/strong-normalization github similar
• pigworker/EGTBS github similar
• LightAndLight/como github similar