Similar repositories to bond15/Dialectica:

• bond15/Dialectica github similar
• tuvtran/project-based-learning github similar
• msp-strath/ask github similar
• AviCraimer/category-theory-diagrams github similar
• deepfx/netlens github similar
• paolobrasolin/commutative-diagrams github similar
• philzook58/ad-lens github similar
• vcvpaiva/DialecticaCategories github similar
• bobatkey/agda-metric-reals github similar
• leptonyu/tensors github similar
• albertoruiz/hTensor github similar
• DavidJaz/DynamicalSystemsBook github similar
• vehicle-lang/vehicle github similar
• jules-hedges/open-games-hs github similar
• ToposInstitute/poly github similar
• msp-strath/TypOS github similar
• Ogdentrod/reMarkable-typescript github similar
• HoTT/EPIT-2020 github similar
• bgavran/Category_Theory_Resources github similar
• mandubian/neurocat github similar
• banacorn/agda-mode-vscode github similar
• statebox/idris-ct github similar
• diagrams/diagrams github similar
• elba/elba github similar
• agda/agda-categories github similar
• mattearnshaw/lawvere github similar
• oxford-quantum-group/discopy github similar
• Merovius/srvfb github similar
• statebox/awesome-applied-ct github similar
• mightybyte/monad-challenges github similar
• amuletml/amulet github similar
• agda/agda-stdlib github similar
• agda/cubical github similar
• conal/concat github similar
• kcsongor/generic-lens github similar
• AlgebraicJulia/Catlab.jl github similar
• edwinb/Blodwen github similar
• chrisvoncsefalvay/learn-julia-the-hard-way github similar
• tikzit/tikzit github similar
• hasktorch/hasktorch github similar