liquidhaskell

Tech stack & purpose

LiquidHaskell is a formal verification tool for Haskell that uses liquid types—a combination of Haskell's type system with refinement types and SMT solving—to statically verify program properties. Built at UC San Diego, the tool operates as a GHC plugin, integrating verification checks directly into the Haskell compilation process. It is implemented in Haskell and relies on external SMT solvers, particularly Z3, to discharge verification constraints generated during type checking.

Community & reference links

• code.haskell.org/XMonadContrib
• LaTeX
• hackage.haskell.org/cgi-bin/hackage-scripts/package/Cabal
• hackage.haskell.org/cgi-bin/hackage-scripts/package/mtl
• text-icu package
• hackage.haskell.org/cgi-bin/hackage-scripts/package/unix
• hackage.haskell.org/cgi-bin/hackage-scripts/package/X11
• hackage.haskell.org/cgi-bin/hackage-scripts/package/xmobar
• hackage.haskell.org/cgi-bin/hackage-scripts/package/xmonad-contrib
• haskell.org/ghc
• Mercurial mirror
• bitbucket.org/bos/text`
• downloads.haskell.org/ghc/latest/docs/users_guide/
• git repository
• github issue tracker
• main tutorial
• github issue
• #2565
• Z3
• git-scm.com/doc
• google groups mailing list
• hackage.haskell.org/package/ghc-9.6.3/docs/GHC-Core.html#t:CoreBind
• hackage.haskell.org/package/liquidhaskell
• zulip space
• ![Zulip logo
• the documentation website
• Implementing a GHC Plugin for Liquid Haskell

Languages

Contributors (top 30 of 114)

• 
  Ranjit Jhala5,190 commits · 251 followers
• 
  Niki Vazou2,073 commits · 318 followers
• 
  Facundo Domínguez1,544 commits · 91 followers
• 
  Eric Seidel1,007 commits · 79 followers
• 
  Niki Vazou931 commits · 318 followers
• niki389 commits
• Alfredo Di Napoli312 commits
• 
  Chris Tetreault178 commits · 6 followers
• 
  pbougou176 commits · 15 followers
• 
  Naomi Smith158 commits · 107 followers
• 
  Alex Gryzlov153 commits · 304 followers
• rjhala130 commits
• 
  Matt Walker127 commits · 21 followers
• Vassil Keremidchiev126 commits
• 
  Xavier Góngora108 commits · 33 followers
• Yiyun Liu100 commits
• 
  Zack Grannan84 commits · 25 followers
• 
  Alan Zimmerman78 commits · 400 followers
• 
  Phil de Joux75 commits · 34 followers
• 
  yanhasu67 commits · 0 followers
• 
  Alessio64 commits · 60 followers
• 
  Anish Tondwalkar61 commits · 48 followers
• 
  oquechy60 commits · 21 followers
• 
  Tommy Bidne51 commits · 7 followers
• James Parker45 commits
• Elizaveta Vasilenko43 commits
• Benjamin Cosman36 commits
• 
  Gergő Érdi28 commits · 201 followers
• 
  pbougou27 commits · 15 followers
• 
  Alessio23 commits · 60 followers