liquid-haskell

There are 4 repositories under liquid-haskell topic.

wenkokke/lazuli
Liquid Haskell library for verifying neural networks.
Language:Haskell7 4 1
CodiePP/chotpeval
CloudHaskell/OTP evaluation
Language:Haskell1 4 0
rybla/liquid-monadic-selectionsort
Language:Haskell1 01
skyzh/introliquid.hs
Exercise for "An Introduction to Liquid Haskell"
Language:Haskell3 0