Similar repositories to mattecapu/awesome-double-categories:

• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• Eloston/ungoogled-chromium github similar
• gibiansky/IHaskell github similar
• codeBud7/nord-alfred github similar
• tetrapharmakon/moirai github similar
• cj-xu/PC19 github similar
• RobertHarper/hott-notes github similar
• pigworker/CS410-16 github similar
• emilyriehl/721 github similar
• andriusstank/downhill github similar
• lns/memoire github similar
• djstrouse/InfoMARL github similar
• bobatkey/CS316-2020 github similar
• walkie/Hagl github similar
• astoff/tikz-cd github similar
• bgavran/Category_Theory_Resources github similar
• plclub/cis670-16fa github similar
• ToposInstitute/poly github similar
• sentenai/reinforce github similar
• pamellies/models-of-programming-languages github similar
• felixwellen/DCHoTT-Agda github similar
• jules-hedges/open-games-hs github similar
• andrejbauer/notes-on-realizability github similar
• concutere/sg github similar
• DavidMichaelRoberts/AlgebraicTopology2019 github similar
• AlgebraicJulia/AlgebraicPetri.jl github similar
• awodey/CatLogNotes github similar
• HoTT/EPIT-2020 github similar
• coq-community/manifesto github similar
• alhassy/CatsCheatSheet github similar
• mikeshulman/catlog github similar
• statebox/idris-ct github similar
• bgavran/Category_Theory_Machine_Learning github similar
• martinescardo/TypeTopology github similar
• CompSciCabal/SMRTYPRTY github similar
• joanbruna/GNN_community github similar
• OPLSS/introduction-to-algebraic-effects-and-handlers github similar
• leanprover/lean2 github similar
• plt-amy/1lab github similar