Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 24 Dec 2024
https://github.com/ucsd-progsys/intro-refinement-types
Introductory Tutorial on Refinement Types
haskell liquidhaskell refinement-types smt
Last synced: 24 Dec 2024
https://github.com/taktoa/liquid-regex
Some experiments with regular expressions and LiquidHaskell
experimental haskell liquidhaskell regex
Last synced: 21 Nov 2024
https://github.com/skyzh/introliquid.hs
Exercise for "An Introduction to Liquid Haskell"
haskell liquid-haskell liquidhaskell stack
Last synced: 11 Nov 2024
