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