Similar repositories to aristidb/lens-agda:

• aristidb/lens-agda github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• zygoloid/deadc github similar
• Happstack/abnf github similar
• ekmett/thrists github similar
• dreixel/instant-generics github similar
• maurer/c-storable-deriving github similar
• ekmett/compiler github similar
• memrange/push-notify-apn github similar
• ocharles/Elasticsearch github similar
• jonsterling/TT-Reflection github similar
• Gabriel439/Haskell-Index-Core-Library github similar
• ranjitjhala/haddock-annot github similar
• ddfisher/haskell-socket-activation github similar
• sjoerdvisscher/HueAPI github similar
• vincenthz/hs-securemem github similar
• Jonplussed/haskbot-core github similar
• houshuang/hackage-css github similar
• brendanhay/network-metrics github similar
• pigworker/Vole github similar
• pubnub/haskell github similar
• twanvl/multiset github similar
• quchen/amoeba github similar
• haskell-infra/auron github similar
• alephcloud/hs-configuration-tools github similar
• mstksg/ghcjs-websockets github similar
• inc-lc/ilc-scala github similar
• banacorn/socket.io-haskell github similar
• nikita-volkov/base-prelude github similar
• ekmett/sparse github similar
• k0001/pipes-network github similar
• agda/agda-system-io github similar
• puffnfresh/eta-android github similar
• adamgundry/inch github similar
• technogeeky/icfp12-paper-links github similar
• isovector/same-same github similar
• soenkehahn/dead-code-detection github similar
• MarcosPividori/push-notify github similar
• haskell-hvr/uhttpc github similar