Similar repositories to pigworker/Samizdat:

• pigworker/Samizdat github similar
• RobertHarper/hott-notes github similar
• danistefanovic/build-your-own-x github similar
• groupoid/anders github similar
• smlnj/smlnj github similar
• hecrj/iced github similar
• neel-krishnaswami/linearml github similar
• TOTBWF/agda-sgd github similar
• pigworker/Bi71 github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• david-christiansen/epigram1 github similar
• thsutton/cha github similar
• gallais/generic-syntax github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• sstucki/pts-agda github similar
• bobatkey/sott github similar
• gallais/agda-sizedIO github similar
• twanvl/ttie github similar
• jmchapman/Relative-Monads github similar
• pigworker/ProgrammerCommaCon github similar
• ralsei/six-eyes github similar
• gibiansky/IHaskell github similar
• AndrasKovacs/preordertt github similar
• pigworker/Ohrid-Agda github similar
• ToTal/total github similar
• andreasabel/miniagda github similar
• pigworker/TypesWhoSayNi github similar
• kckennylau/mathlib4 github similar
• jonsterling/coq-domains github similar
• jonsterling/tt github similar
• mr-ohman/logrel-mltt github similar
• dorchard/effects-as-sessions github similar
• effectfully/Cubes github similar
• AndrasKovacs/stlc-nbe github similar
• jashug/WhyNotW github similar
• pigworker/Saturday github similar
• effectfully/Generic github similar
• nachivpn/nbe-course github similar
• AndrasKovacs/system-f-omega github similar
• AndrasKovacs/universes github similar