Pinned Repositories
131-web
Public course materials for CSE 131 (Compilers)
230-wi19-web
Public course materials for CSE 230 (Winter 2019)
elsa
Elsa is a lambda calculus evaluator
lh-plugin-demo
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
liquid-sf
Port "Software Foundations" to LiquidHaskell
liquid-types-spacemacs
Spacemacs Layer for LiquidHaskell
liquidhaskell
Liquid Types For Haskell
liquidhaskell-tutorial
Tutorial for LiquidHaskell
mist
A tiny language for teaching and experimenting with Refinement Types
ucsd-progsys's Repositories
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
ucsd-progsys/elsa
Elsa is a lambda calculus evaluator
ucsd-progsys/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
ucsd-progsys/liquidhaskell-tutorial
Tutorial for LiquidHaskell
ucsd-progsys/mist
A tiny language for teaching and experimenting with Refinement Types
ucsd-progsys/230-wi19-web
Public course materials for CSE 230 (Winter 2019)
ucsd-progsys/lh-plugin-demo
A small package that demonstrates how to use LiquidHaskell as a GHC plugin
ucsd-progsys/131-web
Public course materials for CSE 131 (Compilers)
ucsd-progsys/lh-workshop
Materials for 2-hr LiquidHaskell Workshop
ucsd-progsys/liquid-sf
Port "Software Foundations" to LiquidHaskell
ucsd-progsys/intro-refinement-types
Introductory Tutorial on Refinement Types
ucsd-progsys/liquidhaskell-blog
LiquidHaskell blog
ucsd-progsys/nanomaly
ucsd-progsys/liquid-server
Web Server for Liquid-Types demos.
ucsd-progsys/lh-plugin-demo-client
Client package that shows how to import LH specifications from an external package
ucsd-progsys/proofs-of-data
Proving properties of various data structures with LiquidHaskell (Port of Appel's VFA)
ucsd-progsys/130-sp19
UCSD CSE 130 Spring 2019
ucsd-progsys/cse130-web
Web page for CSE 130
ucsd-progsys/dsolve-z3
goto-repo for dsolve-external-z3
ucsd-progsys/fixpoint
Old (Ocaml) based fixpoint solver for dsolve
ucsd-progsys/goto-dsolve-misc
goto-repo for dsolve-external-misc
ucsd-progsys/goto-dsolve-ocamlgraph
goto-repo for dsolve-external-ocamlgraph
ucsd-progsys/goto-dsolve-z3
goto-repo for dsolve-external-z3
ucsd-progsys/liquid-client
Client side web pages with text-panes that interact with liquid-server
ucsd-progsys/liquid-client-retro
Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes
ucsd-progsys/liquidhaskell-cabal
Liquid Haskell integration for Cabal and stack
ucsd-progsys/liquidhaskell-cabal-demo
Demo of Liquid Haskell integration for Cabal and stack (see spinda/liquidhaskell-cabal)
ucsd-progsys/live
Slides for talk on Language-Integrated Verification
ucsd-progsys/reasoning-about-functions
Slides for talk about Refinement Reflection and Proof by Logical Evaluation
ucsd-progsys/rest
A library for rewriting