rrnewton/lambdapar_interps rrnewton/lambdapar_interps

  • Stars
    star
    1
  • Language
    Haskell
  • Created over 12 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rrnewton/lambdapar_interps
github

rrnewton

Reviews

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

Repository Details

DEPRECATED: Interpreters and Data race detectors for the lambda-par calculus. THIS REPOSITORY HAS MOVED: https://github.com/iu-parfunc/lvars

More Repositories

1

haskell-lockfree

A collection of different packages for CAS based data structures.
Haskell
106
star
2

Haskell-CnC

Intel Concurrent Collections for Haskell. Library and parallel runtime(s). Now on github rather than darcs.
Haskell
16
star
3

WaveScript

The WaveScope/WaveScript project is migrating to github from MIT-hosted SVN.
Scheme
12
star
4

hgdata

This is now the main development repo for the handa-gdata package. It replaces an earlier repo at: https://code.google.com/p/hgdata/
Haskell
10
star
5

PhyBin

Binning (Newick) Phylogenetic Trees by Topology
Haskell
8
star
6

intel-aes

Haskell package for efficient AES encryption, including Intel AES NI support
C
8
star
7

thread-local-storage

A TLS library for GHC Haskell.
Haskell
5
star
8

pochoir-first-history-fix-attempt

A mirror of the Pochoir Stencil compiler SVN repository, including all branches.
C++
3
star
9

hydra-print

Output from parallel subprocesses is an ugly, many-headed beast. Piping though hydra-print provides a NCurses interface to a dynamic set output streams, displayed without interleaving.
Haskell
3
star
10

criterion-external

Simple demonstration of how to use Criterion to benchmark separate executables.
Haskell
3
star
11

concurrent-skiplist

An implementation of maps and sets based on a concurrent-skiplist implementation.
Haskell
3
star
12

PochoirMods

Modifications to Pochoir stencil compiler to support use an a Haskell EDSL. This uses the Pochoir 1.0 branch. It is forked from https://svn.csail.mit.edu/sct/trunk/Pochoir/ExecSpec_v1.0
C++
3
star
13

MandelMicrobench

Temporary repo to hold a tiny tiny "language shootout" benchmark.
C++
2
star
14

HSBenchThroughput

Simple Haskell utility for doing a binary search to find good benchmark inputs for measuring throughput
Haskell
2
star
15

Python-CnC

[Coming Soonish] A complete parallel programming environment based on the CnC model.
2
star
16

StreamIt

Mirror of svn.cssail.mit.edu StreamIt repository. You can find the original at https://svn.csail.mit.edu/streamit/trunk
C++
2
star
17

linear-cursors

Linear types applied to type-safe cursors into memory buffers containing dense serialized data.
Haskell
2
star
18

hgdata_trash

DONT USE THIS DIRECTLY. Mirror of https://code.google.com/p/hgdata/
Haskell
1
star
19

meta-par

temporary location until I finish pruning it
Haskell
1
star
20

temp-data-structure-benchmark

Benchmark from course project by Guilherme and Ahmed
C++
1
star
21

cyclone

Mirror of Cyclone language repository on http://cyclone.thelanguage.org:8181/
C
1
star
22

evernote_haskell

Experimenting with using the Evernote API from Haskell. Currently contains only junk.
Haskell
1
star
23

monad-par-results

Benchmark results and logs for the monad-par package.
Haskell
1
star
24

verified-haskell-tests

Playing around with different options for verifying bits of Haskell code
Agda
1
star
25

paragrep

Expansion of Ron Rivest's 1988 'help' program for paragraph search. Supports flexible text file partitioning methods.
JavaScript
1
star
26

unix-bytestring_MIRROR

Mirror of darcs repo for unix-bytestring at darcs get http://community.haskell.org/~wren/unix-bytestring
Haskell
1
star
27

monad-par-results-full-logs

The full output of benchmarking scripts, including +RTS -s output. This is a much larger repo and you may want to avoid checking it out.
1
star
28

ncurses-haskell

Patches on top of bzr repository here: https://john-millikin.com/branches/haskell-ncurses/0.2/
Haskell
1
star