ucsd-progsys Goto Github PK

130-sp19

UCSD CSE 130 Spring 2019

131-public

Course materials for undergraduate compilers class

131-web

Public course materials for CSE 131 (Compilers)

230-wi19-web

Public course materials for CSE 230 (Winter 2019)

abstractrefinementtypes

ace

Ajax.org Cloud9 Editor

class-webpage

Class webpage template

click-express

Web-based clicker site (written in express)

cse130-web

Web page for CSE 130

csolve

full csolve repo

csolve-bak

Liquid Types for C

csv-table

Scripts for manipulating tables stored as CSV files

dsolve

DSOLVE

dsolve-z3

goto-repo for dsolve-external-z3

elsa

Elsa is a lambda calculus evaluator

fixpoint

Old (Ocaml) based fixpoint solver for dsolve

flycheck-liquidhs.el

Flycheck checker for LiquidHaskell

goto-dsolve-misc

goto-repo for dsolve-external-misc

goto-dsolve-ocamlgraph

goto-repo for dsolve-external-ocamlgraph

goto-dsolve-z3

goto-repo for dsolve-external-z3

intro-refinement-types

Introductory Tutorial on Refinement Types

lh-errors

LH files that give errors.

lh-plugin-demo

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

lh-plugin-demo-client

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

lh-slides

Slides for Liquid Haskell related talks

lh-workshop

Materials for 2-hr LiquidHaskell Workshop

linter-hdevtools

A Haskell Linter using HLint

liquid-client

Client side web pages with text-panes that interact with liquid-server

liquid-client-retro

Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types