Similar repositories to serras/cat-theory-lambdaconf-wr-2017:

• serras/cat-theory-lambdaconf-wr-2017 github similar
• danistefanovic/build-your-own-x github similar
• xdotai/play-json-extensions github similar
• gibiansky/IHaskell github similar
• archhaskell/archlinux-web github similar
• mxswd/lens-inference github similar
• WhereSoftwareGoesToDie/openstack-api github similar
• WhereSoftwareGoesToDie/servant-route github similar
• jfischoff/gdiff-th github similar
• haskell-mafia/twine github similar
• nikita-volkov/hasql-cursor-transaction github similar
• LightAndLight/pattern-unification github similar
• LightAndLight/definable-syntax github similar
• LightAndLight/plated-talk github similar
• LightAndLight/pl0-haskell github similar
• msp-strath/MSPweb github similar
• fumieval/extensible-benchmarks github similar
• ocharles/ghc-nix github similar
• tonyday567/numhask-space github similar
• snoyberg/snoyman-webapps github similar
• kazu-yamamoto/sockaddr github similar
• dsturnbull/h github similar
• NorfairKing/thesis github similar
• tonyday567/web-rep github similar
• tonymorris/purefp-live github similar
• paf31/blog-source github similar
• tanakh/necosat github similar
• GaloisInc/smaccmpilot-org github similar
• vmchale/linkedin-madlibs github similar
• snoyberg/foreach github similar
• danfran/hcoord github similar
• UU-ComputerScience/uu-parsinglib github similar
• tonyday567/box github similar
• np/hlatex github similar
• ghcjs/ghcjs-boot github similar
• frasertweedale/hs-tax-ato github similar
• LightAndLight/phil github similar
• david-christiansen/idris-code-highlighter github similar
• serras/t-regex github similar
• tonymorris/command github similar