Popular repositories Loading

1. liquidhaskell liquidhaskell Public

   Liquid Types For Haskell

   Haskell 1.3k 149

2. elsa elsa Public

   Elsa is a lambda calculus evaluator

   Haskell 191 25

3. liquid-fixpoint liquid-fixpoint Public

   Horn Clause Constraint Solving for Liquid Types

   Haskell 153 64

4. liquidhaskell-tutorial liquidhaskell-tutorial Public

   Tutorial for LiquidHaskell

   JavaScript 79 29

5. mist mist Public

   A tiny language for teaching and experimenting with Refinement Types

   Haskell 49 5

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

   Public course materials for CSE 230 (Winter 2019)

   Haskell 28 23