Similar repositories to masaeedu/co-optics:

• masaeedu/co-optics github similar
• inanna-malick/hgit github similar
• danistefanovic/build-your-own-x github similar
• rampion/concrete-kinds github similar
• gibiansky/IHaskell github similar
• plt-hokusai/ahc github similar
• oxalica/nil github similar
• tdietert/lambda-pi github similar
• BebeSparkelSparkel/biparsing github similar
• masaeedu/agda-learning github similar
• jmgimeno/haskell-playground github similar
• Boarders/agda-pipes github similar
• Lysxia/test-monad-laws github similar
• masaeedu/all-hls github similar
• seagreen/ian github similar
• mjhopkins/category-cheat-sheet github similar
• mcneissue/purescript-monoidal github similar
• agentultra/adventure-engine github similar
• robinvd/rlang github similar
• qfpl/consy github similar
• ChrisPenner/jsonf github similar
• spicydonuts/react-basic-rock-paper-scissors github similar
• lehins/MonadicParty2019 github similar
• luke-clifton/generic-monoid github similar
• jonsterling/lecture-notes github similar
• 5HT/agda-nr-cats github similar
• mstksg/wavelets github similar
• EgbertRijke/CategoryTheory_Course github similar
• ranjitjhala/ghc-options github similar
• effectfully/proto-tt github similar
• robinp/align github similar
• phadej/end github similar
• Eloston/ungoogled-chromium github similar
• robrix/interval-functor github similar
• chris-martin/pixels github similar
• Twey/agda-imp github similar
• nikita-volkov/domain-optics github similar
• emiflake/computor-v2 github similar
• zachrbrown/untyped github similar
• zachrbrown/simply-typed github similar