Skip to content
@ucsd-progsys

ucsd-progsys

Popular repositories Loading

  1. liquidhaskell liquidhaskell Public

    Liquid Types For Haskell

    Haskell 1.3k 165

  2. elsa elsa Public

    Elsa is a lambda calculus evaluator

    Haskell 194 25

  3. liquid-fixpoint liquid-fixpoint Public

    Horn Clause Constraint Solving for Liquid Types

    Haskell 167 71

  4. liquidhaskell-tutorial liquidhaskell-tutorial Public

    Tutorial for LiquidHaskell

    JavaScript 82 29

  5. mist mist Public

    A tiny language for teaching and experimenting with Refinement Types

    Haskell 50 5

  6. 230-wi19-web 230-wi19-web Public

    Public course materials for CSE 230 (Winter 2019)

    Haskell 28 22

Repositories

Showing 10 of 57 repositories
  • liquidhaskell Public

    Liquid Types For Haskell

    ucsd-progsys/liquidhaskell's past year of commit activity
    Haskell 1,336 BSD-3-Clause 165 452 (18 issues need help) 8 Updated Oct 17, 2026
  • liquid-fixpoint Public

    Horn Clause Constraint Solving for Liquid Types

    ucsd-progsys/liquid-fixpoint's past year of commit activity
    Haskell 167 BSD-3-Clause 71 39 (5 issues need help) 5 Updated Oct 16, 2026
  • lh-plugin-demo Public

    A small package that demonstrates how to use LiquidHaskell as a GHC plugin

    ucsd-progsys/lh-plugin-demo's past year of commit activity
    Haskell 25 BSD-3-Clause 16 6 0 Updated May 7, 2026
  • liquid-fixpoint-debug Public Forked from ucsd-progsys/liquid-fixpoint

    Horn Clause Constraint Solving for Liquid Types

    ucsd-progsys/liquid-fixpoint-debug's past year of commit activity
    Haskell 1 BSD-3-Clause 73 0 1 Updated Oct 15, 2025
  • elsa Public

    Elsa is a lambda calculus evaluator

    ucsd-progsys/elsa's past year of commit activity
    Haskell 194 MIT 25 1 0 Updated Oct 6, 2025
  • liquid-server Public

    Web Server for Liquid-Types demos.

    ucsd-progsys/liquid-server's past year of commit activity
    JavaScript 3 5 4 2 Updated May 21, 2025
  • csv-table Public

    Scripts for manipulating tables stored as CSV files

    ucsd-progsys/csv-table's past year of commit activity
    Haskell 2 MIT 0 0 0 Updated Feb 19, 2025
  • liquidhaskell-tutorial Public

    Tutorial for LiquidHaskell

    ucsd-progsys/liquidhaskell-tutorial's past year of commit activity
    JavaScript 82 MIT 29 40 3 Updated Sep 30, 2024
  • lh-plugin-demo-client Public

    Client package that shows how to import LH specifications from an external package

    ucsd-progsys/lh-plugin-demo-client's past year of commit activity
    Haskell 2 BSD-3-Clause 1 0 0 Updated Apr 28, 2023
  • liquidhaskell-blog Public

    LiquidHaskell blog

    ucsd-progsys/liquidhaskell-blog's past year of commit activity
    JavaScript 8 MIT 10 3 0 Updated Sep 23, 2022
View all repositories