Similar repositories to msullivan/typecoin:

• msullivan/typecoin github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• ToTal/total github similar
• gibiansky/IHaskell github similar
• EgbertRijke/GraphModel github similar
• mortberg/TypeTheory github similar
• twanvl/ttie github similar
• jonsterling/sml-logical-framework github similar
• nbenton/coqdomains github similar
• AndrasKovacs/preordertt github similar
• yannham/visual-goi github similar
• jonsterling/topos-theory-notes github similar
• jirkamarsik/lambda-mu github similar
• pigworker/PolyTest github similar
• mr-ohman/intuitionistic-normalization github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• gebner/lean4 github similar
• pigworker/InteriorDesign github similar
• yforster/coq-synthetic-computability github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• Eugeny/terminus github similar
• k6io/k6 github similar
• meilisearch/MeiliSearch github similar
• oven-sh/bun github similar
• mikeshulman/dirtt github similar
• Lapin0t/induction-recursion github similar
• heades/cut-fill-agda github similar
• pigworker/Box github similar
• ericfinster/opetopes-in-agda github similar
• RedPRL/sml-cats github similar
• ayberkt/abt github similar
• AndrasKovacs/qiit-generalizations github similar
• nachivpn/expelim github similar
• nmvdw/Three-HITs github similar
• jonsterling/racket-grit github similar
• mikeshulman/cohesivett github similar
• konn/vscode-redtt-diagnostics github similar