matthew healy

PianoRoll. iOS piano roll written in Swift

.system. a slowly evolving attempt to centralise my system configuration.

untitled-programming-language-project. it's a programming language project. it's untitled.

plfa. Notes and exercises from Programming Language Foundations in Agda

ei-lang. Ei is currently just a lexer & part of a parser, but maybe one day it'll be an experimental programming language which aims to implement a simple form of dependent typing within a modern C-style language - who can say? It's also German for egg.

beautiful-racket. Working through https://beautifulracket.com

dotfiles. .files, including ~/.macos, forked from mathiasbynens

UICollectionView-AutolayoutCellHeight. A simple UICollectionView which uses Autolayout to give its cells the correct height.

crafting-interpreters-rust. Working through the Crafting Interpreters book, but in Rust because I don't want to write Java.

TableControlling. Generic UITableView management

readme.md. a personal readme file which may be useful to anyone working with me