Similar repositories to pigworker/Box:

• pigworker/Box github similar
• smlnj/smlnj github similar
• ralsei/six-eyes github similar
• plt-hokusai/ahc github similar
• jonsterling/lecture-notes github similar
• 5HT/agda-nr-cats github similar
• danistefanovic/build-your-own-x github similar
• jirkamarsik/lambda-mu github similar
• favonia/kusariyarou github similar
• jonsterling/coq-algebra-experiments github similar
• mortberg/TypeTheory github similar
• RobertHarper/pfpl-defns github similar
• guillaumebrunerie/SmashProduct github similar
• silvanshade/cool-tt github similar
• agda/guarded github similar
• mmcqd/fibertt github similar
• amblafont/UniversalII github similar
• RobertHarper/hott-notes github similar
• ToTal/total github similar
• yforster/coq-synthetic-computability github similar
• pigworker/SmolCat github similar
• plt-amy/cubical-methods github similar
• rampion/concrete-kinds github similar
• jonsterling/coq-meaning-explanation github similar
• AndrasKovacs/ind-ind-types github similar
• EgbertRijke/CategoryTheory_Course github similar
• jwiegley/zomega github similar
• Lysxia/coq-recursion-schemes github similar
• justinwoo/purescript-mochi github similar
• blockstack/stacks github similar
• robinp/align github similar
• heliaxdev/witch github similar
• myuon/quartz github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• postalhq/postal github similar
• ubuntu/microk8s github similar
• juxt/crux github similar
• gibiansky/IHaskell github similar
• mroman42/tannakian-tambara github similar