• Horn Clause Constraint Solving for Liquid Types

    Haskell 37 21 Updated Aug 15, 2018
  • Liquid Types For Haskell

    Haskell 559 81 Updated Aug 14, 2018
  • Tutorial for LiquidHaskell

    TeX 44 11 MIT Updated Aug 5, 2018
  • JavaScript 3 1 BSD-3-Clause Updated May 22, 2018
  • Web Server for Liquid-Types demos.

    JavaScript 1 3 Updated May 19, 2018
  • LiquidHaskell blog

    JavaScript 6 5 MIT Updated May 18, 2018
  • Elsa is a lambda calculus evaluator

    Haskell 100 6 MIT Updated Apr 10, 2018
  • Public course materials for CSE 131 (Compilers)

    JavaScript 10 11 MIT Updated Mar 14, 2018
  • Port "Software Foundations" to LiquidHaskell

    Haskell 2 MIT Updated Feb 22, 2018
  • Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes

    JavaScript Updated Feb 16, 2018
  • Materials for 2-hr LiquidHaskell Workshop

    JavaScript 6 5 Updated Feb 15, 2018
  • Slides for talk about Refinement Reflection and Proof by Logical Evaluation

    JavaScript Updated Dec 30, 2017
  • Introductory Tutorial on Refinement Types

    JavaScript 2 1 Updated Nov 30, 2017
  • Client side web pages with text-panes that interact with liquid-server

    JavaScript 1 Updated Nov 22, 2017
  • Slides for talk on Language-Integrated Verification

    JavaScript Updated Nov 16, 2017
  • Flycheck checker for LiquidHaskell

    Emacs Lisp 5 Updated Oct 5, 2017
  • Learning to Blame Type Errors from Novice Mistakes

    OCaml 8 BSD-3-Clause Updated Sep 19, 2017
  • A collection of novice interactions with the OCaml top-level.

    OCaml 2 Updated Jun 12, 2017
  • Spacemacs Layer for LiquidHaskell

    Emacs Lisp 11 3 Updated Jun 10, 2017
  • Class webpage template

    JavaScript MIT Updated Sep 21, 2016
  • Course materials for undergraduate compilers class

    3 MIT Updated Aug 31, 2016
  • Scripts for analyzing LiquidHaskell benchmark logs

    Haskell 1 Updated Jul 24, 2016
  • Automatic Prover for Logical Predicates

    Haskell 1 GPL-2.0 Updated Jul 13, 2016
  • Web-based clicker site (written in express)

    TypeScript Updated May 13, 2016
  • Scripts for manipulating tables stored as CSV files

    Haskell MIT Updated Apr 21, 2016
  • Simple wrappers for timing IO actions (single-threaded)

    Haskell MIT Updated Mar 20, 2016
  • Program to generate performance graphs from test logs

    Haskell 1 Updated Mar 18, 2016
  • melpa

    Forked from melpa/melpa

    Scripts for building Emacs packages from Version Control

    Emacs Lisp 1,513 GPL-3.0 Updated Feb 11, 2016
  • Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types

    Haskell Updated Dec 22, 2015
  • Slides for Liquid Haskell related talks

    JavaScript Updated Dec 3, 2015