Explore @iu-parfunc Open Source projects

IU Parfunc Academic Group Account (@iu-parfunc)

iu-parfunc

Stars
333
Global Org. Rank 30,474 (Top 10 %)
Registered about 12 years ago
Most used languages

Haskell
55.6 %

C++
14.8 %

Racket
11.1 %

C
7.4 %

Nix
3.7 %

Shell
3.7 %

HTML
3.7 %

gibbon

A compiler for functional programs on serialized data

lvars

The LVish Haskell library

haskell_dsl_tour

Examples of relevant technologies for implementing DSLs in Haskell.

HSBencher

General benchmarking framework. Especially good at parameter studies.

liteinst

Runtime application probing with lightweight binary instrumentation. Related to PLDI17.

verified-instances

Verified instances for parallel programming.

ShadowGuard

Low(er) Overhead Shadow Stack Implementation using Binary Static Analysis

popl18-lh-prover-artifact

Artifact for "Towards Complete Verification via SMT"

detflow

sc-haskell

A survey on the topic of sequentially consistent Haskell.

AutoObsidian

Autotuning and Obsidian

superaccumulators

Commutative, associative floating-point operations

pbbs

An clone of the latest release of the Problem-Based-Benchmark-Suite + some extra scripts on top

isoref-sketch

Sketching out ideas for isolated references.

accelerack

C Bindings for Accelerate, Racket Frontend to Accelerate

BintreeShootout

A simple microbenchmark for tree traversals

concurrent_cilk

This is the libcilkrts directory ONLY, extended with the Concurrent Cilk implementation. It is SUBTREE MERGED into the large gcc repo. See here: https://github.com/iu-parfunc/gcc

haskell-hpx

Haskell bindings to the HPX library.

detmonad-benchdata

accelerate-redex

A PLT Redex model for the Accelerate language.

bindings-hpx

Haskell bindings for the HPX library

compile-o-rama

Dockerfile and or Nix expressions for building a whole bunch of compilers. Good starting point for microbenchmarking.

tslogger

thread-safe logging

forkbench

A simple, standalone parfib-like benchmark.

array-dsl-benchmarks

A benchmark suite across multiple array DSLs, covering CPUs and GPUss

pldi2014-artifact

The artifact-evaluation bundle for "Taming the Parallel Effect Zoo" (PLDI 2014)

cnf-mutable-tests