iu-parfunc/lvars iu-parfunc/lvars

  • Stars
    star
    81
  • Rank 400,299 (Top 8 %)
  • Language
    Haskell
  • Created over 11 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
iu-parfunc/lvars
github

iu-parfunc

Reviews

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

Repository Details

The LVish Haskell library

More Repositories

1

gibbon

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

haskell_dsl_tour

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

HSBencher

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

liteinst

Runtime application probing with lightweight binary instrumentation. Related to PLDI17.
C++
9
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

popl18-lh-prover-artifact

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

detflow

Haskell
4
star
9

sc-haskell

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

AutoObsidian

Autotuning and Obsidian
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

isoref-sketch

Sketching out ideas for isolated references.
Haskell
2
star
14

accelerack

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

BintreeShootout

A simple microbenchmark for tree traversals
Racket
2
star
16

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
17

haskell-hpx

Haskell bindings to the HPX library.
Haskell
2
star
18

detmonad-benchdata

Shell
1
star
19

accelerate-redex

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

bindings-hpx

Haskell bindings for the HPX library
Haskell
1
star
21

compile-o-rama

Dockerfile and or Nix expressions for building a whole bunch of compilers. Good starting point for microbenchmarking.
Nix
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