pnwamk/pldi16-artifact

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Racket
Created almost 9 years ago
Updated almost 8 years ago

pnwamk/pldi16-artifact

pnwamk

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

datatype

(Somewhat) Algebraic Data Types for Racket

stop2015-redex

PLT Redex model of basic Dependently Typed Racket calculus

sst-tutorial

lean4-assert-command

A simple assertion command for Lean4

simple-sst-model

Simple Semantic Subtyping in Haskell

tr-calc

Representations of the core calculi for Typed Racket

typeset-rewriter

simple, low level rewriters for PLT Redex typesetting

stop2015

funapp-inversion

Semantic Subtyping, Function Application Inversion, etc

ddict

fme

Fourier-Motzkin Elimination in Racket

simple-semantic-subtype

redex models, playing around with semantic subtyping basics

strands

Embedding strand spaces in Coq and working to verify correctness and other properties.

tex-templates

lean4-dev-goodies

Useful scripts for working with multiple Lean4 installs

tr-performance

dset

Deterministic sets

lean4-ranges

define-with-spec

Macro for adding simple specifications to function definitions.

advent

Advent of Code related things

ruby-datatype

ADTs for Ruby (well, we'll see)

expr-HoTT

some Homotopy Type Theory tidbits

prefab-predicate-compat

(Racket) Backwards compatible prefab predicate function

talks