Skip to content

@ucsd-progsys ucsd-progsys

Change the repository type filter

All

    Repositories list

    56 repositories

    • liquidhaskell

      Public
      Liquid Types For Haskell
      verificationrefinement-typessmthaskell
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •138•1.2k•419•23•Updated Dec 20, 2024Dec 20, 2024

    • liquid-fixpoint

      Public
      Horn Clause Constraint Solving for Liquid Types
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •62•141•35•5•Updated Dec 20, 2024Dec 20, 2024

    • liquidhaskell-tutorial

      Public
      Tutorial for LiquidHaskell
      JavaScript
      •
      MIT License
      •27•75•38•2•Updated Sep 30, 2024Sep 30, 2024

    • lh-plugin-demo

      Public
      A small package that demonstrates how to use LiquidHaskell as a GHC plugin
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •15•24•6•0•Updated Aug 16, 2024Aug 16, 2024

    • elsa

      Public
      Elsa is a lambda calculus evaluator
      haskellhaskell-learninglambda-calculusreduction
      Haskell
      •
      MIT License
      •21•182•1•0•Updated Jun 10, 2024Jun 10, 2024

    • liquid-server

      Public
      Web Server for Liquid-Types demos.
      JavaScript
      •
      Other
      •5•3•5•3•Updated Jan 24, 2024Jan 24, 2024

    • lh-plugin-demo-client

      Public
      Client package that shows how to import LH specifications from an external package
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•2•0•0•Updated Apr 28, 2023Apr 28, 2023

    • liquidhaskell-blog

      Public
      LiquidHaskell blog
      JavaScript
      •
      MIT License
      •11•8•3•0•Updated Sep 23, 2022Sep 23, 2022

    • lh-workshop

      Public
      Materials for 2-hr LiquidHaskell Workshop
      haskellliquidhaskell
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •5•11•1•0•Updated Nov 30, 2021Nov 30, 2021

    • 230-wi19-web

      Public
      Public course materials for CSE 230 (Winter 2019)
      Haskell
      •
      MIT License
      •24•27•0•6•Updated Nov 8, 2021Nov 8, 2021

    • rest

      Public
      A library for rewriting
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •7•0•0•0•Updated Nov 5, 2021Nov 5, 2021

    • mist

      Public
      A tiny language for teaching and experimenting with Refinement Types
      Haskell
      •
      MIT License
      •4•47•0•0•Updated Jun 22, 2021Jun 22, 2021

    • intro-refinement-types

      Public
      Introductory Tutorial on Refinement Types
      haskellsmtrefinement-typesliquidhaskell
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •1•8•1•1•Updated Jun 5, 2021Jun 5, 2021

    • 131-web

      Public
      Public course materials for CSE 131 (Compilers)
      JavaScript
      •
      MIT License
      •15•18•0•2•Updated Jun 22, 2020Jun 22, 2020

    • proofs-of-data

      Public
      Proving properties of various data structures with LiquidHaskell (Port of Appel's VFA)
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Jan 4, 2020Jan 4, 2020

    • liquid-sf

      Public
      Port "Software Foundations" to LiquidHaskell
      Haskell
      •
      MIT License
      •1•11•0•1•Updated Jan 3, 2020Jan 3, 2020

    • 130-sp19

      Public
      UCSD CSE 130 Spring 2019
      0•0•0•0•Updated Mar 31, 2019Mar 31, 2019

    • liquidhaskell-cabal

      Public
      Liquid Haskell integration for Cabal and stack
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •6•0•0•0•Updated Mar 25, 2019Mar 25, 2019

    • liquidhaskell-cabal-demo

      Public
      Demo of Liquid Haskell integration for Cabal and stack (see spinda/liquidhaskell-cabal)
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Mar 25, 2019Mar 25, 2019

    • cse130-web

      Public
      Web page for CSE 130
      OCaml
      •
      MIT License
      •14•0•0•0•Updated Mar 20, 2019Mar 20, 2019

    • goto-dsolve-z3

      Public
      goto-repo for dsolve-external-z3
      C
      •0•0•0•0•Updated Nov 21, 2018Nov 21, 2018

    • goto-dsolve-misc

      Public
      goto-repo for dsolve-external-misc
      OCaml
      •0•0•0•0•Updated Nov 21, 2018Nov 21, 2018

    • goto-dsolve-ocamlgraph

      Public
      goto-repo for dsolve-external-ocamlgraph
      OCaml
      •
      Other
      •0•0•0•0•Updated Nov 21, 2018Nov 21, 2018

    • dsolve-z3

      Public
      goto-repo for dsolve-external-z3
      0•0•0•0•Updated Nov 21, 2018Nov 21, 2018

    • fixpoint

      Public
      Old (Ocaml) based fixpoint solver for dsolve
      OCaml
      •0•0•0•0•Updated Oct 31, 2018Oct 31, 2018

    • nanomaly

      Public
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •4•5•0•0•Updated May 22, 2018May 22, 2018

    • liquid-client-retro

      Public
      Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Feb 16, 2018Feb 16, 2018

    • reasoning-about-functions

      Public
      Slides for talk about Refinement Reflection and Proof by Logical Evaluation
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Dec 30, 2017Dec 30, 2017

    • liquid-client

      Public
      Client side web pages with text-panes that interact with liquid-server
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Nov 22, 2017Nov 22, 2017

    • live

      Public
      Slides for talk on Language-Integrated Verification
      haskelltypessmt
      JavaScript
      •0•0•0•0•Updated Nov 16, 2017Nov 16, 2017