Haskell Active Automata Learning library
Liquid Haskell library for verifying neural networks.
LiquidLean — A refinement-type research framework combining m4 generation, Higher-Order Constraints (HOC), Liquid Haskell, and Haskell to explore formally verified constraint systems and polynomial algebra.
CloudHaskell/OTP evaluation
C³: Calculus of Constrained Constructions. Sovereign alternative to SMT/Haskell from first principles. Menhir · Rascal · Scala 3 · Dex · Aldor · MPL.
Exercise for "An Introduction to Liquid Haskell"
Fundamentos de la Computación in Liquid Haskell
To associate your repository with the liquid-haskell topic, visit your repo's landing page and select "manage topics."