Skip to content
@ucsd-progsys

ucsd-progsys

Popular repositories Loading

  1. liquidhaskell liquidhaskell Public

    Liquid Types For Haskell

    Haskell 1.2k 138

  2. elsa elsa Public

    Elsa is a lambda calculus evaluator

    Haskell 181 21

  3. liquid-fixpoint liquid-fixpoint Public

    Horn Clause Constraint Solving for Liquid Types

    Haskell 141 61

  4. liquidhaskell-tutorial liquidhaskell-tutorial Public

    Tutorial for LiquidHaskell

    JavaScript 75 27

  5. mist mist Public

    A tiny language for teaching and experimenting with Refinement Types

    Haskell 47 4

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

    Public course materials for CSE 230 (Winter 2019)

    Haskell 27 24

Repositories

Showing 10 of 56 repositories
  • liquidhaskell Public

    Liquid Types For Haskell

    ucsd-progsys/liquidhaskell’s past year of commit activity
    Haskell 1,204 BSD-3-Clause 138 419 (21 issues need help) 22 Updated Dec 16, 2024
  • liquid-fixpoint Public

    Horn Clause Constraint Solving for Liquid Types

    ucsd-progsys/liquid-fixpoint’s past year of commit activity
    Haskell 141 BSD-3-Clause 61 34 (3 issues need help) 4 Updated Dec 16, 2024
  • liquidhaskell-tutorial Public

    Tutorial for LiquidHaskell

    ucsd-progsys/liquidhaskell-tutorial’s past year of commit activity
    JavaScript 75 MIT 27 38 2 Updated Sep 30, 2024
  • 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 24 BSD-3-Clause 15 6 0 Updated Aug 16, 2024
  • elsa Public

    Elsa is a lambda calculus evaluator

    ucsd-progsys/elsa’s past year of commit activity
    Haskell 181 MIT 21 1 0 Updated Jun 10, 2024
  • liquid-server Public

    Web Server for Liquid-Types demos.

    ucsd-progsys/liquid-server’s past year of commit activity
    JavaScript 3 4 5 2 Updated Jan 24, 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 11 3 0 Updated Sep 23, 2022
  • lh-workshop Public

    Materials for 2-hr LiquidHaskell Workshop

    ucsd-progsys/lh-workshop’s past year of commit activity
    JavaScript 11 BSD-3-Clause 5 1 0 Updated Nov 30, 2021
  • 230-wi19-web Public

    Public course materials for CSE 230 (Winter 2019)

    ucsd-progsys/230-wi19-web’s past year of commit activity
    Haskell 27 MIT 24 0 6 Updated Nov 8, 2021