ucsd-progsys/AbstractRefinementTypes

Stars
2
Language
Created almost 12 years ago
Updated over 11 years ago

ucsd-progsys/AbstractRefinementTypes

ucsd-progsys

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

liquidhaskell

Liquid Types For Haskell

elsa

Elsa is a lambda calculus evaluator

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

liquidhaskell-tutorial

Tutorial for LiquidHaskell

mist

A tiny language for teaching and experimenting with Refinement Types

230-wi19-web

Public course materials for CSE 230 (Winter 2019)

lh-plugin-demo

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

131-web

Public course materials for CSE 131 (Compilers)

liquid-types-spacemacs

Spacemacs Layer for LiquidHaskell

lh-workshop

Materials for 2-hr LiquidHaskell Workshop

liquid-sf

Port "Software Foundations" to LiquidHaskell

nate

Learning to Blame Type Errors from Novice Mistakes

dsolve

intro-refinement-types

Introductory Tutorial on Refinement Types

liquidhaskell-blog

LiquidHaskell blog

liquid-types.vim

Vim support for Liquid Types

nanomaly

csolve

full csolve repo

liquid-fixpoint-ocaml

Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types

yunounderstand-data

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

131-public

Course materials for undergraduate compilers class

liquid-server

Web Server for Liquid-Types demos.

liquidhaskell-tutorial-solutions

Solutions for LH tutorial

csv-table

Scripts for manipulating tables stored as CSV files

lh-plugin-demo-client

Client package that shows how to import LH specifications from an external package

liquid-logger

Scripts for analyzing LiquidHaskell benchmark logs

tagged-timers

Simple wrappers for timing IO actions (single-threaded)

plot-benchmarks

Program to generate performance graphs from test logs

csolve-bak

Liquid Types for C

liquidhaskell-interactive

Persistent LiquidHaskell Server To Enable Fast Interactive/Incremental Checking

proofs-of-data

Proving properties of various data structures with LiquidHaskell (Port of Appel's VFA)