liquidhaskell

There are 0 repository under liquidhaskell topic.

• ucsd-progsys / lh-workshop

  Materials for 2-hr LiquidHaskell Workshop

  haskellliquidhaskell
  Language:JavaScript 11

• ucsd-progsys / intro-refinement-types

  Introductory Tutorial on Refinement Types

  refinement-typesliquidhaskellhaskellsmt
  Language:JavaScript 8

• john-h-kastner / liquid-structures

  Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell

  haskellrefinement-typesverificationdatastructuresliquidhaskell
  Language:Haskell 5

• taktoa / liquid-regex

  Some experiments with regular expressions and LiquidHaskell

  regexhaskellliquidhaskellexperimental
  Language:Haskell 2

• vyorkin / pwrt

  Some notes & examples for the Programming with Refinement Types book.

  liquidhaskellhaskell
  Language:Haskell 1

• kubum / liquid-cuckoo-filter

  An implementation of Cuckoo Filter in Haskell with LiquidHaskell bindings

  cuckoo-filterliquidhaskellrefined-types
  Language:Haskell 0

• 0918nobita / liquid-hs

  LiquidHaskell examples

  haskellliquidhaskellrefinement-typesexamples
  Language:Haskell

• okue / proof-asobi

  Learning Liquid Haskell.

  liquidhaskell
  Language:Haskell

• skyzh / introliquid.hs

  Exercise for "An Introduction to Liquid Haskell"

  haskellliquid-haskellliquidhaskellstack
  Language:Haskell

• waddlaw / liquidhaskell-ci

  haskellliquidhaskell
  Language:Haskell