All Git Users → ucsd-progsys

6 open source projects by ucsd-progsys

Elsa is a lambda calculus evaluator

✭ 135

Horn Clause Constraint Solving for Liquid Types

✭ 69

A tiny language for teaching and experimenting with Refinement Types

✭ 36

Liquid Types For Haskell

✭ 863

Tutorial for LiquidHaskell

✭ 62

Public course materials for CSE 230 (Winter 2019)

✭ 26

1-6 of 6 user projects