rrnewton
Computer Scientist. Containers, Compilers, Deterministic Parallelism.
Meta, Purdue University, Indiana UniversityIN
Pinned Repositories
accelerate
NOTE! This fork contains a new, Intel ArBB backend for Accelerate.
Essentials-of-Compilation
A book about compiling Racket to x86-64 assembly
Haskell-CnC
Intel Concurrent Collections for Haskell. Library and parallel runtime(s). Now on github rather than darcs.
haskell-lockfree
A collection of different packages for CAS based data structures.
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/
intel-aes
Haskell package for efficient AES encryption, including Intel AES NI support
PhyBin
Binning (Newick) Phylogenetic Trees by Topology
thread-local-storage
A TLS library for GHC Haskell.
WaveScript
The WaveScope/WaveScript project is migrating to github from MIT-hosted SVN.
rrnewton's Repositories
rrnewton/haskell-lockfree
A collection of different packages for CAS based data structures.
rrnewton/Essentials-of-Compilation
A book about compiling Racket to x86-64 assembly
rrnewton/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/
rrnewton/PhyBin
Binning (Newick) Phylogenetic Trees by Topology
rrnewton/thread-local-storage
A TLS library for GHC Haskell.
rrnewton/concurrent-skiplist
An implementation of maps and sets based on a concurrent-skiplist implementation.
rrnewton/criterion-external
Simple demonstration of how to use Criterion to benchmark separate executables.
rrnewton/emacs-haskell-config
A quick and easy pre-configured Emacs for developing with Haskell
rrnewton/linear-cursors
Linear types applied to type-safe cursors into memory buffers containing dense serialized data.
rrnewton/garbage
rrnewton/verified-haskell-tests
Playing around with different options for verifying bits of Haskell code
rrnewton/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
rrnewton/AMBROSIA
Actor-Model Based Reliable Object System for Internet Applications
rrnewton/blindchess
Simple way to practice blind chess.
rrnewton/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
rrnewton/dirsize
"du" replacement. Get the exact size in bytes and min/max modtimes of a directory.
rrnewton/docker-scriptcraft
rrnewton/docker_checkpoint_test
Testing docker checkpoint functionality
rrnewton/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
rrnewton/haskell-style-guide
A style guide for Haskell code.
rrnewton/hermit_old
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
rrnewton/IHaskell
A Haskell kernel for IPython.
rrnewton/kinesis-remap-test
rrnewton/manticore
use the pmlc mirror above. this repo will be removed soon
rrnewton/mlkit
Standard ML Compiler and Toolkit
rrnewton/par-gensym
A demonstration of how to do parallel gensyms.
rrnewton/rr
Record and Replay Framework
rrnewton/shonan-143
Shonan #143: Programming Language Support for Data-intensive Applications
rrnewton/Tapir-Meta
rrnewton/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research