Explore @iu-parfunc Open Source projects

IU Parfunc Academic Group Account (@iu-parfunc)

iu-parfunc

Stars
325
Global Org. Rank 30,593 (Top 10 %)
Registered over 11 years ago
Most used languages

Haskell
55.6 %

C++
14.8 %

Racket
11.1 %

C
7.4 %

HTML
3.7 %

Nix
3.7 %

Shell
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.

verified-instances

Verified instances for parallel programming.

ShadowGuard

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

liteinst

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

popl18-lh-prover-artifact

Artifact for "Towards Complete Verification via SMT"

detflow

sc-haskell

A survey on the topic of sequentially consistent Haskell.

superaccumulators

Commutative, associative floating-point operations

pbbs

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

AutoObsidian

Autotuning and Obsidian

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