#

liquid-haskell

Here are 5 public repositories matching this topic...

wenkokke / lazuli

Liquid Haskell library for verifying neural networks.

neural-networks smt-solver liquid-haskell

Updated Mar 25, 2023
Haskell

CodiePP / chotpeval

CloudHaskell/OTP evaluation

haskell distributed-computing hspec cloudhaskell liquid-haskell

Updated Nov 27, 2017
Haskell

josedusol / fc-lh

Fundamentos de la Computación in Liquid Haskell

haskell functional-programming recursion formal-methods induction liquid-haskell

Updated Nov 7, 2023
Haskell

skyzh / introliquid.hs

Exercise for "An Introduction to Liquid Haskell"

haskell stack liquidhaskell liquid-haskell

Updated Mar 31, 2019
Haskell

rybla / liquid-monadic-selectionsort

Updated Feb 8, 2022
Haskell

Improve this page

Add a description, image, and links to the liquid-haskell topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the liquid-haskell topic, visit your repo's landing page and select "manage topics."