ucsd-progsys

liquidhaskell Public
Liquid Types For Haskell

Haskell 934 110 387 18 Updated Jan 21, 2022
liquid-fixpoint Public
Horn Clause Constraint Solving for Liquid Types

Haskell 76 36 18 3 Updated Dec 7, 2021
lh-workshop Public
Materials for 2-hr LiquidHaskell Workshop

JavaScript 10 5 1 0 Updated Nov 30, 2021
230-wi19-web Public
Public course materials for CSE 230 (Winter 2019)

Haskell 24 MIT 25 0 6 Updated Nov 8, 2021
liquidhaskell-tutorial Public
Tutorial for LiquidHaskell

TeX 62 MIT 21 34 2 Updated Nov 8, 2021
rest Public
A library for rewriting

Haskell 0 BSD-3-Clause 3 0 0 Updated Nov 5, 2021
elsa Public
Elsa is a lambda calculus evaluator

Haskell 144 MIT 12 3 0 Updated Sep 24, 2021
lh-plugin-demo Public
A small package that demonstrates how to use LiquidHaskell as a GHC plugin

Haskell 17 BSD-3-Clause 5 0 0 Updated Aug 6, 2021
mist Public
A tiny language for teaching and experimenting with Refinement Types

Haskell 39 MIT 4 0 0 Updated Jun 22, 2021
intro-refinement-types Public
Introductory Tutorial on Refinement Types

JavaScript 5 1 1 1 Updated Jun 5, 2021

Popular repositories