ucsd-progsys

ucsd-progsys

🏢 Organization

4 repositories on SrcLog

View on GitHub
4 Repos
1.5k Stars
184 Forks
1.5k Watchers

Repositories (4)

liquidhaskell ucsd-progsys/liquidhaskell Haskell

Liquid Types For Haskell

1.3k
elsa ucsd-progsys/elsa Haskell

Elsa is a lambda calculus evaluator

194
nate ucsd-progsys/nate OCaml

Learning to Blame Type Errors from Novice Mistakes

10
yunounderstand-data ucsd-progsys/yunounderstand-data OCaml

A collection of novice interactions with the OCaml top-level.

4