steve-anunknown / haal Star 19 Code Issues Pull requests Haskell Active Automata Learning library automata haskell haskell-library liquid-haskell model-learning equivalence-oracles active-automata-learning Updated Apr 22, 2026 Haskell
wenkokke / lazuli Star 7 Code Issues Pull requests Liquid Haskell library for verifying neural networks. neural-networks smt-solver liquid-haskell Updated Mar 25, 2023 Haskell
CodiePP / chotpeval Star 1 Code Issues Pull requests CloudHaskell/OTP evaluation haskell distributed-computing hspec cloudhaskell liquid-haskell Updated Nov 27, 2017 Haskell
josedusol / fc-lh Star 0 Code Issues Pull requests Fundamentos de la Computación in Liquid Haskell haskell functional-programming recursion formal-methods induction liquid-haskell Updated Nov 7, 2023 Haskell
rybla / liquid-monadic-selectionsort Star 0 Code Issues Pull requests liquid-haskell Updated Feb 8, 2022 Haskell
skyzh / introliquid.hs Star 0 Code Issues Pull requests Exercise for "An Introduction to Liquid Haskell" haskell stack liquidhaskell liquid-haskell Updated Mar 31, 2019 Haskell