alexcoplan

xoroshiro128plus-cpp

Implementation of the xoroshiro128+ PRNG as a C++11 UniformRandomBitGenerator

rspec-expectations

Rspec-2 expectations (should and matchers)

sama5d21-bug

Code to reproduce a kernel/hardware bug on Atmel's SAMA5D21 processor

heap2asm

Script for bootstrapping smlnj's heap2asm

hello-build-sml

Build system for Standard ML using smlnj and ninja

mciml

Modern Compiler Implementation in ML

p2proj

Part II Project and Dissertation

amazingjs

A breakthrough in user experience, with JavaScript.

bf-infra

Brainfuck interpreter in C

bf-sml

Brainfuck interpreter in Standard ML

braincurry

Work-in-progress toy/esoteric pure functional language

buffer

comparch

CompArch exercises

cuti

A lightweight, unopinionated unicode library for C

euler-rust

Solutions to some Project Euler problems in Rust

hello-asm

Playing around with assembly

idrbook

Somewhere to put code written while working through "Type-Driven Development with Idris"

kaleidoscope

Following the LLVM Kaleidoscope tutorial

malloc

Playing around with memory allocation in C

mlspec

A lightweight testing library for Standard ML

music21

music21 is a Toolkit for Computational Musicology

scrambler

Effective 3x3 Rubik's Cube scramble generator

smlnj-bug

Code to repro a compiler bug in smlnj

toomuchsupport

Enough support for anyone

traceify

A simple ray tracer in C++

TSMiniWebBrowser

In-App web browsing support for iPhone apps

types-notes

Notes/errata for Part II Types Lecture Notes (2018-2019)

update-systemd-resolved

Helper script for OpenVPN to directly update the DNS settings of a link through systemd-resolved via DBus.

websockets

Library for building WebSocket servers and clients in Python

xkcdown

xkcd, on your computer