• Stars
    star
    1
  • Language
    Nix
  • Created over 6 years ago
  • Updated about 6 years ago

Reviews

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

Repository Details

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

More Repositories

1

gibbon

A compiler for functional programs on serialized data
C
153
star
2

lvars

The LVish Haskell library
Haskell
82
star
3

haskell_dsl_tour

Examples of relevant technologies for implementing DSLs in Haskell.
Haskell
14
star
4

HSBencher

General benchmarking framework. Especially good at parameter studies.
Haskell
13
star
5

verified-instances

Verified instances for parallel programming.
Haskell
8
star
6

ShadowGuard

Low(er) Overhead Shadow Stack Implementation using Binary Static Analysis
C++
8
star
7

liteinst

Runtime application probing with lightweight binary instrumentation. Related to PLDI17.
C++
8
star
8

popl18-lh-prover-artifact

Artifact for "Towards Complete Verification via SMT"
Haskell
6
star
9

detflow

Haskell
3
star
10

sc-haskell

A survey on the topic of sequentially consistent Haskell.
Haskell
3
star
11

superaccumulators

Commutative, associative floating-point operations
Haskell
3
star
12

pbbs

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

AutoObsidian

Autotuning and Obsidian
Haskell
2
star
14

isoref-sketch

Sketching out ideas for isolated references.
Haskell
2
star
15

accelerack

C Bindings for Accelerate, Racket Frontend to Accelerate
Racket
2
star
16

BintreeShootout

A simple microbenchmark for tree traversals
Racket
2
star
17

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
C++
2
star
18

haskell-hpx

Haskell bindings to the HPX library.
Haskell
2
star
19

detmonad-benchdata

Shell
1
star
20

accelerate-redex

A PLT Redex model for the Accelerate language.
Racket
1
star
21

bindings-hpx

Haskell bindings for the HPX library
Haskell
1
star
22

tslogger

thread-safe logging
Haskell
1
star
23

forkbench

A simple, standalone parfib-like benchmark.
C
1
star
24

array-dsl-benchmarks

A benchmark suite across multiple array DSLs, covering CPUs and GPUss
Haskell
1
star
25

pldi2014-artifact

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

cnf-mutable-tests

Haskell
1
star