Indiana University

Artifact for "Efficiently Compiling Tree-Traversals: Reconciling Parallelism & Dense Data Rep."

Artifact for "LoCal: A Language for Programs Operating on Serialized Data"

LiquidHaskell docker image for verified-instances.

Compiled benchmarks for comparing spawn overhead between several implementations.

Dockerfile and/or Nix expressions for building various compilers for microbenchmarking.

This contains scripts & benchmarks for reproducing results from the POPL18 paper on Linear Haskell.

Docker image for POPL'18 lh-prover artifact.

GHC fork built with linear-types support

Modifications to GHC to support sequentially consistent (Safe) Haskell.

Build images with the gipeda and install-jslibs.sh executables in /usr/bin/.

test docker repo