Liquid Haskell logo

Liquid Haskell


Liquid Haskell is a refinement type checker for Haskell programs.

Tutorials / Guides

  • Liquid Haskell screenshot
  • Liquid Haskell screenshot

3 Alternatives for Liquid Haskell


HLint is a tool for suggesting possible improvements to Haskell code.


Stan is a command-line tool for analysing Haskell projects and outputting discovered vulnerabilities in a helpful way with possible solutions for detected problems.


A tool for detecting dead exports or package imports in Haskell code.

Our Sponsors

This website is completely open source. To fund our work, we fully rely on sponsors. Thanks to them, we can keep the site free for everybody. Please check out their offers below.

  • Bearer
  • BugProve
  • Pixee
  • CodeScene
  • semgrep
  • Offensive 360