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.