ucsd-progsys's repositories
liquidhaskell
Liquid Types For Haskell
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
liquidhaskell-tutorial
Tutorial for LiquidHaskell
230-wi19-web
Public course materials for CSE 230 (Winter 2019)
lh-plugin-demo
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
lh-workshop
Materials for 2-hr LiquidHaskell Workshop
intro-refinement-types
Introductory Tutorial on Refinement Types
liquidhaskell-blog
LiquidHaskell blog
liquid-server
Web Server for Liquid-Types demos.
lh-plugin-demo-client
Client package that shows how to import LH specifications from an external package
proofs-of-data
Proving properties of various data structures with LiquidHaskell (Port of Appel's VFA)
cse130-web
Web page for CSE 130
goto-dsolve-misc
goto-repo for dsolve-external-misc
goto-dsolve-ocamlgraph
goto-repo for dsolve-external-ocamlgraph
goto-dsolve-z3
goto-repo for dsolve-external-z3
liquid-client
Client side web pages with text-panes that interact with liquid-server
liquid-client-retro
Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes
liquidhaskell-cabal
Liquid Haskell integration for Cabal and stack
liquidhaskell-cabal-demo
Demo of Liquid Haskell integration for Cabal and stack (see spinda/liquidhaskell-cabal)
live
Slides for talk on Language-Integrated Verification
reasoning-about-functions
Slides for talk about Refinement Reflection and Proof by Logical Evaluation