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