---
layout: default
title: James T. Martin
permalink: /
---
James T Martin
Contact me:
Communities I participate in:
{% comment %}The span tags are necessary for grouping elements due to `li` being `display: flex`.{% endcomment %}
Stuff I'm working on right now:
- lambda-calculus: A simple programming language derived from the lambda calculus with `callcc` and Hindley-Milner type inference. (Much more in-progress.)
- halley-kart: A kart racing game with a custom engine. (There's not much to see here yet; I will announce more about the project once it is more complete.)
- monoids in the category of endofunctors: Category theory, recursion schemes, and dependent types, to satisfy my hasochistic urges.
Stuff I work on from time to time:
- bootproof: An x86_64 UEFI OS written from scratch in Rust.
- wasteland: A post-nuclear zombie apocalypse Minecraft server with custom worldgen, radiation, spawns, etc.
(I'm sick of Minecraft but the original project was a huge part of my life and I can't stop revisiting it.)
Random stuff I like: