$$START TITLE
Projects
$$END TITLE

$$START CONTENT
<h1>Projects</h1>
<p>
	These are some of the things I have been working on recently:
</p>
<ul>
	<li><a href="./dotfiles.html">Dotfiles</a> -- My dotfiles (script for autoinstalling them coming soon).</li>
	<li><a href="./no_excess.html">NoExcess</a> -- a scheme-like programming language written in c.</li>
	<li><a href="https://plant9.nullring.xyz">Plant9</a> -- A GNU/linux distribution that I am working on with Matthew Hinton.</li>
	<li><a href="./comas.html">COMAS</a> -- A mathematics library that is built on the idea of quaternionic functions inside tensors.</li>
</ul>

$$END CONTENT