ucsd-progsys

ucsd-progsys

Geek Repo

Github PK Tool:Github PK Tool

ucsd-progsys's repositories

liquidhaskell

Liquid Types For Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1142Issues:29Issues:1092

elsa

Elsa is a lambda calculus evaluator

Language:HaskellLicense:MITStargazers:179Issues:7Issues:10

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

Language:HaskellLicense:BSD-3-ClauseStargazers:128Issues:13Issues:152

liquidhaskell-tutorial

Tutorial for LiquidHaskell

Language:JavaScriptLicense:MITStargazers:71Issues:9Issues:70

mist

A tiny language for teaching and experimenting with Refinement Types

Language:HaskellLicense:MITStargazers:47Issues:8Issues:0

230-wi19-web

Public course materials for CSE 230 (Winter 2019)

Language:HaskellLicense:MITStargazers:27Issues:9Issues:0

lh-plugin-demo

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

Language:HaskellLicense:BSD-3-ClauseStargazers:23Issues:7Issues:10

131-web

Public course materials for CSE 131 (Compilers)

Language:JavaScriptLicense:MITStargazers:18Issues:9Issues:0

lh-workshop

Materials for 2-hr LiquidHaskell Workshop

Language:JavaScriptLicense:BSD-3-ClauseStargazers:11Issues:5Issues:1

liquid-sf

Port "Software Foundations" to LiquidHaskell

Language:HaskellLicense:MITStargazers:11Issues:8Issues:0

intro-refinement-types

Introductory Tutorial on Refinement Types

Language:JavaScriptLicense:BSD-3-ClauseStargazers:8Issues:5Issues:1

liquidhaskell-blog

LiquidHaskell blog

Language:JavaScriptLicense:MITStargazers:8Issues:5Issues:9
Language:JavaScriptLicense:BSD-3-ClauseStargazers:5Issues:4Issues:1

liquid-server

Web Server for Liquid-Types demos.

Language:JavaScriptLicense:NOASSERTIONStargazers:3Issues:4Issues:4

lh-plugin-demo-client

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

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:4Issues:0

proofs-of-data

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

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:4Issues:0

130-sp19

UCSD CSE 130 Spring 2019

Stargazers:0Issues:4Issues:0

cse130-web

Web page for CSE 130

Language:OCamlLicense:MITStargazers:0Issues:4Issues:0

dsolve-z3

goto-repo for dsolve-external-z3

Stargazers:0Issues:4Issues:0

fixpoint

Old (Ocaml) based fixpoint solver for dsolve

Language:OCamlStargazers:0Issues:4Issues:0

goto-dsolve-misc

goto-repo for dsolve-external-misc

Language:OCamlStargazers:0Issues:4Issues:0

goto-dsolve-ocamlgraph

goto-repo for dsolve-external-ocamlgraph

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:4Issues:0

goto-dsolve-z3

goto-repo for dsolve-external-z3

Language:CStargazers:0Issues:4Issues:0

liquid-client

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

Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:4Issues:0

liquid-client-retro

Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes

Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:4Issues:0

liquidhaskell-cabal

Liquid Haskell integration for Cabal and stack

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:4Issues:0

liquidhaskell-cabal-demo

Demo of Liquid Haskell integration for Cabal and stack (see spinda/liquidhaskell-cabal)

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:4Issues:0

live

Slides for talk on Language-Integrated Verification

Language:JavaScriptStargazers:0Issues:0Issues:0

reasoning-about-functions

Slides for talk about Refinement Reflection and Proof by Logical Evaluation

Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:4Issues:0

rest

A library for rewriting

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0