ucsd-progsys/mist ucsd-progsys/mist

  • Stars
    star
    47
  • Rank 604,252 (Top 12 %)
  • Language
    Haskell
  • License
    MIT License
  • Created about 6 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ucsd-progsys/mist
github

ucsd-progsys

Reviews

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

Repository Details

A tiny language for teaching and experimenting with Refinement Types

More Repositories

1

liquidhaskell

Liquid Types For Haskell
Haskell
1,183
star
2

elsa

Elsa is a lambda calculus evaluator
Haskell
180
star
3

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
Haskell
134
star
4

liquidhaskell-tutorial

Tutorial for LiquidHaskell
JavaScript
73
star
5

230-wi19-web

Public course materials for CSE 230 (Winter 2019)
Haskell
27
star
6

lh-plugin-demo

A small package that demonstrates how to use LiquidHaskell as a GHC plugin
Haskell
23
star
7

131-web

Public course materials for CSE 131 (Compilers)
JavaScript
18
star
8

liquid-types-spacemacs

Spacemacs Layer for LiquidHaskell
Emacs Lisp
13
star
9

lh-workshop

Materials for 2-hr LiquidHaskell Workshop
JavaScript
11
star
10

liquid-sf

Port "Software Foundations" to LiquidHaskell
Haskell
11
star
11

nate

Learning to Blame Type Errors from Novice Mistakes
OCaml
10
star
12

dsolve

DSOLVE
OCaml
8
star
13

intro-refinement-types

Introductory Tutorial on Refinement Types
JavaScript
8
star
14

liquidhaskell-blog

LiquidHaskell blog
JavaScript
8
star
15

liquid-types.vim

Vim support for Liquid Types
Vim Script
6
star
16

nanomaly

JavaScript
5
star
17

csolve

full csolve repo
C
5
star
18

liquid-fixpoint-ocaml

Haskell Interface for Back-End Implication / Horn Clause Constraint Solving for Liquid Types
Haskell
5
star
19

yunounderstand-data

A collection of novice interactions with the OCaml top-level.
OCaml
4
star
20

131-public

Course materials for undergraduate compilers class
4
star
21

liquid-server

Web Server for Liquid-Types demos.
JavaScript
3
star
22

liquidhaskell-tutorial-solutions

Solutions for LH tutorial
Haskell
2
star
23

csv-table

Scripts for manipulating tables stored as CSV files
Haskell
2
star
24

lh-plugin-demo-client

Client package that shows how to import LH specifications from an external package
Haskell
2
star
25

AbstractRefinementTypes

2
star
26

liquid-logger

Scripts for analyzing LiquidHaskell benchmark logs
Haskell
2
star
27

tagged-timers

Simple wrappers for timing IO actions (single-threaded)
Haskell
1
star
28

plot-benchmarks

Program to generate performance graphs from test logs
Haskell
1
star
29

csolve-bak

Liquid Types for C
C
1
star
30

liquidhaskell-interactive

Persistent LiquidHaskell Server To Enable Fast Interactive/Incremental Checking
Haskell
1
star
31

proofs-of-data

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