Similar repositories to phadej/lens-laws:

• phadej/lens-laws github similar
• danistefanovic/build-your-own-x github similar
• wouter-swierstra/predicate-transformers github similar
• gibiansky/IHaskell github similar
• minad/tasty-stats github similar
• yilkalargaw/emacs-native-snippets github similar
• andreasabel/shift-reset-dsl github similar
• AlacrisIO/bdao github similar
• trimental/inlyne github similar
• jonathanlking/ghc-typelits-spellcheck github similar
• alessio-b-zak/thesis github similar
• inanna-malick/hgit github similar
• arianvp/generics-mrsop-graphviz github similar
• goldfirere/ott-tutorial github similar
• habospace/Lilla github similar
• JoeyEremondi/idris-aoc-2021 github similar
• clayrat/idris-selective github similar
• dricketts/quadcopter github similar
• pavenvivek/WFLP-18 github similar
• unya/ivory github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• beje8442/haskellToCoqCompiler github similar
• lunaris/bazel-idl github similar
• mpickering/dyepack github similar
• mstksg/dhall-typed github similar
• ericfinster/catt github similar
• xnning/dependent-types-in-haskell github similar
• Vizaxo/dtlang github similar
• basvandijk/pipes-opaleye github similar
• jan-christiansen/Language-based-Security github similar
• aaronvargo/naperian github similar
• philzook58/lens-algebra github similar
• phadej/aeson-optics github similar
• skeuchel/needle github similar
• snowleopard/cats github similar
• ssomayyajula/elab github similar
• wouter-swierstra/Bird github similar
• UU-ComputerScience/uu-cco github similar
• KolodeznyDiver/THEff github similar