Liquid Haskell logo

Liquid Haskell

MaintainedMaintained

Liquid Haskell is a refinement type checker for Haskell programs.

Tutorials / Guides

  • Liquid Haskell screenshot
  • Liquid Haskell screenshot

3 Alternatives for Liquid Haskell

HLint

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

Stan

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

Weeder

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
  • CodeScene
  • semgrep
  • Offensive 360