Similar repositories to mmirman/class-lambda:

• mmirman/class-lambda github similar
• gibiansky/IHaskell github similar
• mmirman/regular-manifold-containers github similar
• mmirman/useful-combinators github similar
• mmirman/mops github similar
• chriseidhof/applicative-extras github similar
• mmirman/Korma github similar
• mmirman/haskogeneous github similar
• kirstin-rhys/nestedmap github similar
• kathawala/symdiff github similar
• gelisam/circular-sig github similar
• sjoerdvisscher/algebraic-classes github similar
• pigworker/BathTime github similar
• takano-akio/ww-fusion github similar
• ocharles/exhaustive github similar
• jonsterling/TT-Reflection github similar
• agda/agda-system-io github similar
• nh2/loop github similar
• mmirman/rpc-framework github similar
• zadarnowski/quiver github similar
• rrnewton/Haskell-CnC github similar
• Jonplussed/haskbot-core github similar
• tanakh/html2hamlet github similar
• pigworker/Vole github similar
• JacquesCarette/GenCheck github similar
• agda/agda-web-semantic github similar
• quchen/amoeba github similar
• brendanhay/numbersd github similar
• mstone/soutei github similar
• ajknapp/accelerate-ad github similar
• mortberg/AlgTop github similar
• dmwit/pi-eta-epsilon github similar
• mstksg/ghcjs-websockets github similar
• gallais/agda-nbe github similar
• nilcons/ceh github similar
• nmattia/haskell-hot-swap github similar
• thoughtpolice/salt github similar
• ggreif/dynamic-loader github similar
• GaloisInc/estimator github similar
• soenkehahn/dead-code-detection github similar