vollmerm

monad-tune

A monad for auto-tuning program optimizations.

thesis

typed-nanopass-experiments

hs-simd-experiments

locking-experiments

parga

Demonstration of a parallel genetic algorithm in Clojure

STLC-Isabelle

accelerate-apart

aeson

A fast Haskell JSON library

comb-opt-hs

criterion

A powerful but simple library for measuring the performance of Haskell code.

Essentials-of-Compilation

A book about compiling Racket to x86-64 assembly

FizzFuseArrays

Presentation slides and example code

haskell-lockfree

A collection of different packages for CAS based data structures.

lift-sketch

linear-haskell-experiments

llvm-hs

Haskell bindings for LLVM

packages-array

Mirror of packages-array repository. DO NOT SUBMIT PULL REQUESTS HERE

primitive

This package provides various primitive memory-related operations.

rust

Experimental work-in-progress port of Rust to ARM's Morello capability-enabled ARM architecture

semantic-numeric-tower

sf-exercises

Working through the exercises in Software Foundations.

shallow-fission

skel-isabelle

split-array-experiments

stack

The Haskell Tool Stack

statistics

A fast, high quality library for computing with statistics in Haskell.

URxvt-themes

My .Xdefaults

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

wonks.github.io

PL Wonks website