• Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    JavaScript
  • License
    MIT License
  • Created almost 8 years ago
  • Updated about 2 years ago

Reviews

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

Repository Details

LiquidHaskell blog

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

mist

A tiny language for teaching and experimenting with Refinement Types
Haskell
47
star
6

230-wi19-web

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

lh-plugin-demo

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

131-web

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

liquid-types-spacemacs

Spacemacs Layer for LiquidHaskell
Emacs Lisp
13
star
10

lh-workshop

Materials for 2-hr LiquidHaskell Workshop
JavaScript
11
star
11

liquid-sf

Port "Software Foundations" to LiquidHaskell
Haskell
11
star
12

nate

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

dsolve

DSOLVE
OCaml
8
star
14

intro-refinement-types

Introductory Tutorial on Refinement Types
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