James T Martin

Also me:

james (at) jtmar (dot) me
jamestmartin#7117
jamestmartin

Communities I participate in:

Programming Language Design (I am a moderator)
Do Art Daily (I am an occasional code contributor)

Stuff I'm working on:

bootproof: An x86_64 UEFI OS written from scratch in Rust.
math: Formalizing calculus in Agda for my own education.
monoids in the category of endofunctors: Category theory, recursion schemes, and dependent types, to satisfy my hasochistic urges.

Random stuff I like: