Popular repositories

1. liquidhaskell liquidhaskell Public

   Liquid Types For Haskell

   Haskell 1.1k 131

2. elsa elsa Public

   Elsa is a lambda calculus evaluator

   Haskell 180 20

3. liquid-fixpoint liquid-fixpoint Public

   Horn Clause Constraint Solving for Liquid Types

   Haskell 128 58

4. liquidhaskell-tutorial liquidhaskell-tutorial Public

   Tutorial for LiquidHaskell

   JavaScript 72 27

5. mist mist Public

   A tiny language for teaching and experimenting with Refinement Types

   Haskell 47 4

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

   Public course materials for CSE 230 (Winter 2019)

   Haskell 27 24