Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell
-
Updated
May 6, 2024 - Haskell
#
liquidhaskell
Here are 9 public repositories matching this topic...
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)
template haskell tdd functional-programming best-practices error-handling property-based-testing software-engineering cabal type-safety hexagonal-architecture formal-verification ghc liquidhaskell mission-critical cursor-ide
-
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."