liquidhaskell
Here are 11 public repositories matching this topic...
Introductory Tutorial on Refinement Types
-
Updated
Jun 5, 2021 - JavaScript
Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell
-
Updated
May 6, 2024 - Haskell
Some experiments with regular expressions and LiquidHaskell
-
Updated
Mar 6, 2017 - Haskell
Some notes & examples for the Programming with Refinement Types book.
-
Updated
Jul 12, 2019 - Haskell
Haskell implementation of weak AVL trees + proofs on its functional correctness and amortised runtime complexity with LiquidHaskell
-
Updated
Oct 12, 2024 - Haskell
An implementation of Cuckoo Filter in Haskell with LiquidHaskell bindings
-
Updated
Aug 26, 2019 - Haskell
Exercise for "An Introduction to Liquid Haskell"
-
Updated
Mar 31, 2019 - Haskell
Industrial-grade Haskell project template for mission-critical systems. Features formal verification (LiquidHaskell), robust error handling, hexagonal architecture, TDD, and AI-assistant rules (Cursor)
-
Updated
Apr 5, 2025 - Haskell
Improve this page
Add a description, image, and links to the liquidhaskell topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the liquidhaskell topic, visit your repo's landing page and select "manage topics."