ucsd-progsys

Results 8 repositories owned by ucsd-progsys

elsa

181
Stars
20
Forks
Watchers

Elsa is a lambda calculus evaluator

verified publisher icon ucsd-progsys

liquidhaskell

1.2k
Stars
130
Forks
Watchers

Liquid Types For Haskell

verified publisher icon ucsd-progsys

liquid-fixpoint

128
Stars
58
Forks
Watchers

Horn Clause Constraint Solving for Liquid Types

verified publisher icon ucsd-progsys

131-web

18
Stars
15
Forks
Watchers

Public course materials for CSE 131 (Compilers)

verified publisher icon ucsd-progsys

230-wi19-web

27
Stars
24
Forks
Watchers

Public course materials for CSE 230 (Winter 2019)

verified publisher icon ucsd-progsys

lh-plugin-demo

23
Stars
12
Forks
Watchers

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

verified publisher icon ucsd-progsys

liquidhaskell-tutorial

71
Stars
27
Forks
Watchers

Tutorial for LiquidHaskell

verified publisher icon ucsd-progsys

mist

47
Stars
4
Forks
Watchers

A tiny language for teaching and experimenting with Refinement Types

verified publisher icon ucsd-progsys