Similar repositories to scmlab/pi:

• scmlab/pi github similar
• scmlab/gcl github similar
• josh-hs-ko/FLOLAC-14 github similar
• Zekt/Type-Embellishment github similar
• gallais/thesis github similar
• CindyLinz/BYOHC-Workshop github similar
• L-TChen/ModalTypeTheory github similar
• L-TChen/Type-Theory github similar
• tree-sitter/tree-sitter-agda github similar
• L-TChen/MtacAR github similar
• andrejbauer/what-is-algebraic-about-algebraic-effects github similar
• banacorn/agda-mode github similar
• scmu/aopa github similar
• jonsterling/dreamtt github similar
• wenkokke/schmitty github similar
• gallais/idris-tparsec github similar
• andreasabel/miniagda github similar
• gallais/agdarsec github similar
• UlfNorell/agda-prelude github similar
• paulstansifer/unseemly github similar
• martinescardo/HoTTEST-Summer-School github similar
• plt-amy/1lab github similar
• johnlinvc/erruby github similar
• RedPRL/redtt github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• mcdtaiwan/Chicken_McNuggets github similar
• tzhuan/ntu-thesis github similar
• EgbertRijke/HoTT-Intro github similar
• HoTT/HoTT-Agda github similar
• mcdtaiwan/McDonalds_Fries_Font github similar
• granule-project/granule github similar
• hasura/eff github similar
• mortberg/cubicaltt github similar
• tweag/HaskellR github similar
• emina/rosette github similar
• the-little-typer/pie github similar
• OpenLogicProject/OpenLogic github similar
• aszx87410/blog github similar
• polysemy-research/polysemy github similar
• ptt/pttbbs github similar