ucsd-progsys/liquid-types.vim

Stars
6
Rank 2,539,965 (Top 51 %)
Language
Vim Script
Created almost 10 years ago
Updated almost 10 years ago

ucsd-progsys/liquid-types.vim

ucsd-progsys

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

Vim support for Liquid Types

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

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)