GitHub topics: liquidhaskell
rbeauchamp/industrial-haskell-template
Industrial-grade Haskell project template for mission-critical systems. Features formal verification (LiquidHaskell), robust error handling, hexagonal architecture, TDD, and AI-assistant rules (Cursor)
Language: Haskell - Size: 122 KB - Last synced at: 8 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
Genlight/wAVL-trees
Haskell implementation of weak AVL trees + proofs on its functional correctness and amortised runtime complexity with LiquidHaskell
Language: Haskell - Size: 233 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0
john-h-kastner/liquid-structures
Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell
Language: Haskell - Size: 536 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0
ucsd-progsys/intro-refinement-types
Introductory Tutorial on Refinement Types
Language: JavaScript - Size: 41.9 MB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 8 - Forks: 1
ucsd-progsys/lh-workshop
Materials for 2-hr LiquidHaskell Workshop
Language: JavaScript - Size: 50 MB - Last synced at: 2 months ago - Pushed at: over 3 years ago - Stars: 11 - Forks: 6
0918nobita/liquid-hs
LiquidHaskell examples
Language: Haskell - Size: 3.91 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
vyorkin/pwrt
Some notes & examples for the Programming with Refinement Types book.
Language: Haskell - Size: 103 KB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 1
skyzh/introliquid.hs
Exercise for "An Introduction to Liquid Haskell"
Language: Haskell - Size: 74.2 KB - Last synced at: 4 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
taktoa/liquid-regex
Some experiments with regular expressions and LiquidHaskell
Language: Haskell - Size: 11.7 KB - Last synced at: 3 months ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0
kubum/liquid-cuckoo-filter
An implementation of Cuckoo Filter in Haskell with LiquidHaskell bindings
Language: Haskell - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
okue/proof-asobi
Learning Liquid Haskell.
Language: Haskell - Size: 1000 Bytes - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
