Alternatives and similar repositories for liquidhaskell-blog:

Users that are interested in liquidhaskell-blog are comparing it to the libraries listed below

• nikita-volkov / hasql-transaction
  A composable abstraction over retriable transactions for Hasql
  ☆12Updated last week
• ghcjs / ghcjs-vdom
  bindings for virtual-dom
  ☆33Updated 7 years ago
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 3 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆27Updated 4 years ago
• haskell-hvr / packunused
  Tool for detecting redundant Cabal package dependencies
  ☆48Updated 6 years ago
• yi-editor / yi-rope
  Rope data structure used by Yi
  ☆19Updated 6 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 10 years ago
• haskell-hvr / rss
  A library for generating RSS 2.0 feeds.
  ☆18Updated 6 months ago
• basvandijk / monad-control
  Lift control operations, like exception catching, through monad transformers
  ☆58Updated 2 years ago
• hspec / hspec-expectations
  Catchy combinators for HUnit
  ☆34Updated last year
• jaspervdj / websockets-snap
  Snap integration for the websockets library
  ☆33Updated 9 months ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 3 years ago
• ghcjs / ghcjs-base
  base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC
  ☆45Updated 7 months ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆45Updated 7 years ago
• hunt-framework / hayoo
  Hackage search engine
  ☆56Updated 6 years ago
• ghcjs / shims
  GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2
  ☆20Updated 5 years ago
• conal / talk-2015-more-elegant-frp
  A more elegant specification for FRP
  ☆24Updated last year
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated last month
• snoyberg / cookie
  HTTP cookie parsing and rendering
  ☆18Updated 10 months ago
• vincenthz / hs-packer
  Fast serialization in haskell
  ☆15Updated 4 years ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆20Updated 7 months ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆27Updated 9 years ago
• fpco / schoolofhaskell
  ☆33Updated 9 years ago
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 6 years ago
• turingjump / bookkeeper
  ☆54Updated 6 years ago
• ivan-m / SourceGraph
  Static code analysis using graph-theoretic techniques
  ☆27Updated 2 years ago
• 23Skidoo / pointful
  Stand-alone command-line version of the pointful plugin for Lambdabot.
  ☆26Updated last year
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 11 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 2 months ago