Update current projects.

James T. Martin 2 years ago
parent 7224f62f07
commit 777d9b546f
Signed by: james
GPG Key ID: 4B7F3DA9351E577C

@ -9,18 +9,20 @@ html {
body {
margin: auto;
/** I love me some easily-readable text. */
/* I love me some easily-readable text. */
max-width: 60ch;
font: 1.4rem/1.8em sans-serif;
/* experimenting with a smaller font */
/* font: 1.4rem/1.8em sans-serif; */
font: 21px/1.5em sans-serif;
.icon-list img {
width: 1.3em;
height: 1.3em;
width: 30px;
height: 30px;
/* The icon should be located where the bullet would be. */
position: relative;
left: -1.3em;
left: -30px;
* The text doesn't know that the image isn't actually there, so it must be re-aligned with a negative margin.
* I don't move over the entire 1.3 em gap, because there needs to be space between the icon and text.
@ -30,8 +32,15 @@ body {
/* My webcomic icons are favicon rips (for now) and look bad at large sizes. */
.icon-list.low-res img {
width: 1em;
height: 1em;
width: 23px;
height: 23px;
.icon-list.high-res img {
width: 64px;
height: 64px;
margin-top: 5px;
margin-bottom: 5px;
.icon-list li {

@ -5,7 +5,7 @@ permalink: /
<h1>James T Martin</h1>
<div id="resume">I'm looking for work. If you're interested in hiring me, <a href="/resume">here's my resume.</a></div>
<div id="resume">I'm looking for work. If you're interested in hiring me, <a href="/resume">here's my resume</a>.</div>
<span id="accounts">Contact me:</span>
@ -25,17 +25,9 @@ permalink: /
<span id="projects">Stuff I'm working on right now:</span>
<li><a href="https://github.com/jamestmartin/lambda-calculus">lambda-calculus</a>: A simple programming language derived from the lambda calculus with `callcc` and Hindley-Milner type inference. <small>(Much more in-progress.)</small>
<li><a href="https://github.com/jamestmartin/halley-kart">halley-kart</a>: A kart racing game with a custom engine. <small>(There's not much to see here yet; I will announce more about the project once it is more complete.)</small>
<li><a href="https://github.com/jamestmartin/monoids-in-the-category-of-endofunctors">monoids in the category of endofunctors</a>: Category theory, recursion schemes, and dependent types, to satisfy my <a href="https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf">hasochistic</a> urges.
<span id="inactive-projects">Stuff I work on from time to time:</span>
<li><a href="https://github.com/jamestmartin/bootproof">bootproof</a>: An x86_64 UEFI OS written from scratch in Rust.
<li><a href="https://github.com/jamestmartin/wasteland">wasteland</a>: A post-nuclear zombie apocalypse Minecraft server with custom worldgen, radiation, spawns, etc.
<small>(I'm sick of Minecraft but the original project was a huge part of my life and I can't stop revisiting it.)</small>
<li><a href="https://github.com/ivolang/ivo-assembler">iva</a>: A single-pass x86_64 ELF assembler for use by compiler backends.
<li><a href="https://github.com/ivolang/ivo">ivo</a>: A programming language for exploring interesting P.L. features.
<li><a href="https://github.com/jamestmartin/bootproof">bootproof</a>: An x86_64 UEFI operating system.
<span id="likes">Random stuff I like:</span>