ucsd-progsys/nate ucsd-progsys/nate

  • Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    OCaml
  • License
    BSD 3-Clause "New...
  • Created about 8 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ucsd-progsys/nate
github

ucsd-progsys

Reviews

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

Repository Details

Learning to Blame Type Errors from Novice Mistakes

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

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