Projects #

Here are some of my projects I’ve done over the years. You can find additional projects on my GitHub page.

Semantic Graphs #

Conducting research on ‘Graphical Pattern Calculus’ as a term rewriting system, and an investigation into formal language, expression, and variable binding.

Guix Contributor #

Contributor to Guix– the project to build a fully functional package manger and reproducible operating system in Scheme. You can find my Guix channel on GitHub.

“Highly Addictive” Tetris #

Made a tetris game on Khan Academy with animations.

Interactive Quantum Tunnelling Simulation #

Created a simulation using Processing JS, allowing for interactive manipulation of variables. You can see the code and tweak the variables on Khan Academy. And there’s a discussion on this Reddit thread.

Octocurious Blog #

Maintainer a blog with regular posting of technical content. Blog source, and its theme.

System hosting #

Running and maintaining multiple Linux servers, self hosting websites, GitLab, email, DNS, Discourse. Maintaining security policy, updates, logging, and firewalls.

Text Editor #

Developed a very text editor for in C, using a gap buffer for (somewhat) efficient text storage and manipulation. See the code on GitHub.

2D Physics Engine #

Made a 2D rigid-body physics engine from scratch in C++, featuring collision detection, multiple collision points per object pair, and joint support. It has platform support for Windows and Linux. See the code on Github.