My new resume
Updated 2025-09-30 16:11:48 +00:00
My new website, for my new career
Updated 2025-09-19 13:50:42 +00:00
A simple script for configuring alacritty, quickly
Updated 2025-05-21 07:04:02 +00:00
A simple BCD converter
Updated 2025-01-25 15:23:36 +00:00
Carp in GT
Updated 2022-06-14 14:30:14 +00:00
The dotfiles I use
Updated 2022-04-26 10:45:51 +00:00
is a spartan fast configuration language
Updated 2021-07-23 15:24:44 +00:00
A simple CLI library for Carp
Updated 2021-01-19 13:05:52 +00:00
A Redis client library for Carp
Updated 2021-01-19 12:26:13 +00:00
a high-level wrapper around ZLib.
Updated 2021-01-19 12:03:08 +00:00
is a simple high-level wrapper around SQLite3
Updated 2021-01-19 11:16:56 +00:00
is a simple path library.
Updated 2021-01-19 09:57:05 +00:00
A sketch for an infix transformer
Updated 2021-01-19 09:50:21 +00:00
_ allows you to write Python modules by using _ exclusively
Updated 2020-11-19 22:11:48 +00:00
Updated 2020-10-05 18:29:06 +00:00
Baby’s first Agda
Updated 2020-06-05 17:01:46 +00:00
Write C code in Carp code files
Updated 2020-05-05 11:36:43 +00:00
Yet another dead simple editor
Updated 2020-04-04 15:47:11 +00:00
A dead simple debugger
Updated 2020-04-04 15:45:53 +00:00
A dead simple browser rendering engine
Updated 2020-04-04 15:45:39 +00:00