Similar repositories to groupoid/infinity:

• groupoid/infinity github similar
• jonsterling/lecture-notes github similar
• groupoid/anders github similar
• groupoid/agda github similar
• forked-from-1kasper/tt github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• groupoid/hopf github similar
• DmytroMitin/arend-exercises github similar
• Kha/HoTT-book-agda github similar
• o4/proto github similar
• zaklogician/agda-ist-algebra github similar
• groupoid/CCHM github similar
• o29/n2o github similar
• Kaptch/course_project_3year github similar
• atemerev/erlang_ngondro github similar
• erpuno/act github similar
• erpuno/etf github similar
• jespercockx/tensors github similar
• groupoid/lean github similar
• NYNJA-MC/protocol github similar
• forked-from-1kasper/cubicaltt-vscode github similar
• groupoid/arend github similar
• o4/n2o github similar
• mjendrusch/lean-falso github similar
• awodey/Impredicative github similar
• awkure/hpt github similar
• mikeshulman/syntop github similar
• barras/cic-model github similar
• 5HT/longchenpa.guru github similar
• aquynh/capstone github similar
• bobatkey/polly github similar
• groupoid/languages github similar
• Soonad/Formality-Agda github similar
• tuvtran/project-based-learning github similar
• larrytheliquid/mltt-lecture github similar
• uds-psl/ill-undecidability github similar
• 5HT/agda-nr-cats github similar
• EgbertRijke/CategoryTheory_Course github similar
• tootsuite/mastodon github similar