Similar repositories to semorrison/lean-monoidal-categories:

• semorrison/lean-monoidal-categories github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• Eugeny/terminus github similar
• lumihq/purescript-quickserve github similar
• bouzuya/create-purescript-react-basic github similar
• Eloston/ungoogled-chromium github similar
• guillaumebrunerie/SmashProduct github similar
• gergoerdi/mod-arith github similar
• UlrikBuchholtz/cubical-hott-agda github similar
• pSpaces/SpaceJS github similar
• semorrison/lean-tidy github similar
• leanprover/presentations github similar
• jonsterling/agda-effectful-forcing github similar
• iblech/scheme-theory-in-agda github similar
• hannahhoward/rxreact github similar
• mstksg/lens-typelevel github similar
• fused-effects/fused-effects-lens github similar
• bitonic/hakyll-agda github similar
• haskell-works/hw-rankselect github similar
• jaycech3n/Isabelle-HoTT github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• giuseppemag/BCCC github similar
• semorrison/lean-category-theory github similar
• FranckS/RingIdris github similar
• Ninjacop/BuBBLE github similar
• gcanti/recursion-schemes-ts github similar
• LinusCDE/retris github similar
• ziman/idris-ocaml github similar
• CategoricalData/HoTT-categories github similar
• jtobin/declarative github similar
• sellout/category-parametric-talk github similar
• RobertHarper/hott-notes github similar
• ku-fpg/data-reify github similar
• gcanti/mtl-ts github similar
• idris-hackers/idris-free github similar
• aaronlevin/free-vl github similar
• gcanti/unknown-ts github similar
• ixy-languages/ixy.swift github similar
• groupoid/lean github similar