Julia classical ciphers suite
Updated 2021-05-03 07:03:43 +00:00
Rust implementations of Project Euler solutions
Updated 2021-02-24 17:51:50 +00:00
Artefacts created during the 2019 MIT Mystery Hunt
Updated 2021-02-22 22:18:36 +00:00
A toy example server designed to provide low-latency views of external data
Updated 2021-02-17 19:21:36 +00:00
Parse and evaluate expressions in prefix-form (basically Polish notation)
Updated 2021-02-17 12:53:27 +00:00
Advent of Code 2020, in F# and Mathematica
Updated 2020-12-25 20:41:03 +00:00
A toy red-black tree, aiming to be as correct as possible by construction
Updated 2020-11-03 17:51:24 +00:00
Rewriting the Technical Interview (https://aphyr.com/posts/353-rewriting-the-technical-interview), in Mathematica
Updated 2020-10-15 20:53:16 +00:00
Tutorial for Cubical mode in Agda
Updated 2020-04-26 16:56:37 +00:00
Artefacts created during the 2020 MIT Mystery Hunt
Updated 2020-01-26 20:47:01 +00:00
Explanation of Vizing's theorem
Updated 2020-01-05 22:03:16 +00:00
Server for tracking the state of a game of Hanabi.
Updated 2018-02-24 21:06:46 +00:00