Explore @ucsd-progsys Open Source projects

@ucsd-progsys

ucsd-progsys

Stars
1,794
Global Org. Rank 10,293 (Top 4 %)
Registered about 12 years ago
Most used languages

Haskell
53.3 %

JavaScript
23.3 %

OCaml
10.0 %

C
6.7 %

Vim Script
3.3 %

Emacs Lisp
3.3 %

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

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)