Similar repositories to rahulmutt/algebraic-optics:

• rahulmutt/algebraic-optics github similar
• mathandley/RTick github similar
• inanna-malick/hgit github similar
• dmjio/call-swift-from-haskell github similar
• rhodiumdb/rhodium github similar
• schell/px-lang github similar
• Atidot/snippets github similar
• pcarbonn/H-Calc github similar
• msprotz/proof-search-monad github similar
• covid-db/covid-scrapers github similar
• ocramz/taco-hs github similar
• ambuc/cornea github similar
• jwiegley/constructive-ltl github similar
• ChrisPenner/lens-errors github similar
• cocreature/zkboo-hs github similar
• alang9/dynamic-graphs github similar
• phadej/topograph github similar
• coot/free-algebras github similar
• harpocrates/pretty-ghci github similar
• dmbfm/purescript-puregl github similar
• re-xyr/avail github similar
• dalaing/type-systems github similar
• MatthewDaggitt/agda-routing github similar
• ad-si/ulid github similar
• chrisdone/webshow github similar
• RobertHarper/hott-notes github similar
• LightAndLight/parametricity-proofs github similar
• i-am-tom/dagless github similar
• Jaak/TinyOutsideIn github similar
• masaeedu/monadoptics github similar
• ChrisPenner/dumbwaiter github similar
• alpheccar/HPDF github similar
• bravit/tt-ghc-exercises github similar
• mchakravarty/haskell.sty github similar
• Lysxia/metamorph github similar
• frerich/catamorphism github similar
• neel-krishnaswami/linearml github similar
• adamConnerSax/knit-haskell github similar
• esmolanka/sexp-grammar github similar
• IagoAbal/haskell-z3 github similar