liquidhaskell
Here are 13 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
Ahmad Docking — No-Cloning Theorem · Biological Formal Stack · LiquidHaskell · Lean 4 · SNA DNA Storage
-
Updated
Aug 15, 2026 - Haskell
Some experiments with regular expressions and LiquidHaskell
-
Updated
Mar 6, 2017 - Haskell
DSSS: Deterministic Sovereign Solving System — Z3 drop-in with CAD backend, typed circuit DSL, ZK-QF_NRA pipeline. Patent pending. Copyright BEL ESPRIT D ACCORD TRUST HOLDINGS INC.
-
Updated
Aug 29, 2026 - 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
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
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
Add this topic to your repo
To associate your repository with the liquidhaskell topic, visit your repo's landing page and select "manage topics."