Projects
Advent of Code - 2021
A challenge to complete 25 algorithmic problems, one a day during the lead up to Christmas
Rust
Logic And Proof
The exercises from the book "Logic and Proof" in Lean
Lean
Advent of Code - 2020
A challenge to complete 25 algorithmic problems, one a day during the lead up to Christmas
Rust
R-Lox
An interpreter for the Lox learning language from Crafting Interpreters, written in Rust.
Rust
Advent of Code - 2019
A challenge to complete 25 algorithmic problems, one a day during the lead up to Christmas
Go
Blog