AdamHarries

Blodwen

A prototype successor to Idris

sycl-blas

An implementation of BLAS using the SYCL open standard for acceleration on OpenCL devices

tapl-idr

Types and programming languages, implemented in Idris.

advent-of-code

advent-of-code-2020

Arith

Blegh

clearairturbulence.co.uk

Source (hakyll, and prose) for my side-project site "clear air turbulence".

ComeAbout

Various random...stuff...for a work in progress board game focusing on naval movement.

computecpp-sdk

Collection of samples, documentation and utilities for using ComputeCpp, Codeplay's beta SYCL implementation

cradle

ebsf-scripts

scripts for data management/munging of EBSF

fx-processed-2-clang

Transform profiles created by the Firefox profiler into profiles compatible with clang's profile-guided-optimisation format.

fx-profiler-frontend

Firefox Profiler — Web app for Firefox performance analysis

Gideon-Soliloquy

Repository for tracking my DnD character 'Gideon-Soliloquy'

hefti

Transform directories of musescore score files into books of parts for jazz musicians

Idris2

A purely functional programming language with first class types

jazz

Scores &cetera for Stompin' At Summerhall.

misc

miscellaneous code that I don't want to delete

Monopoly

A short evaluative proof that the stations are the best

ms-automated-builds

Simple infrastructure to easily and reliably automate building musescore

MuseScore

MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

OrderOfService

Order of service for our wedding, written in LaTeX (of course!)

rust-ffmpeg

Safe FFmpeg wrapper.

samply

Command-line sampling profiler for macOS and Linux

standards-proposals

Repository for publicly sharing proposals in various standards groups

sum-of-multiples

Short and sweet rust library demonstrating the performance benefit that iterators can bring.

swing-music

Code and other resources for managing my swing music library.

SyclParallelSTL

Open Source Parallel STL implementation

tsundoku

Link, page, and tab ooriented remind-me-later tool.

type-inference

Practice with writing type inference.