Projects in Awesome Lists tagged with liquidhaskell
A curated list of projects in awesome lists tagged with liquidhaskell .
https://github.com/ucsd-progsys/lh-workshop
Materials for 2-hr LiquidHaskell Workshop
Last synced: 04 Oct 2025
https://github.com/ucsd-progsys/intro-refinement-types
Introductory Tutorial on Refinement Types
haskell liquidhaskell refinement-types smt
Last synced: 14 Apr 2025
https://github.com/taktoa/liquid-regex
Some experiments with regular expressions and LiquidHaskell
experimental haskell liquidhaskell regex
Last synced: 15 Mar 2025
https://github.com/vyorkin/pwrt
Some notes & examples for the Programming with Refinement Types book.
Last synced: 26 May 2026
https://github.com/skyzh/introliquid.hs
Exercise for "An Introduction to Liquid Haskell"
haskell liquid-haskell liquidhaskell stack
Last synced: 04 Jul 2025
