ucsd-progsys/liquid-sf

Stars
11
Rank 1,694,829 (Top 34 %)
Language
Haskell
License
MIT License
Created over 7 years ago
Updated almost 5 years ago

ucsd-progsys/liquid-sf

ucsd-progsys

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

Port "Software Foundations" to LiquidHaskell

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

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

AbstractRefinementTypes

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)