Working out solutions for Advent of Code
最後更新於 4 年之前
最後更新於 4 年之前
最後更新於 4 年之前
最後更新於 4 年之前
Python script to generate simple "dungeon maps"
最後更新於 4 年之前
Python scripting to automate fetching data from RDAS.
最後更新於 4 年之前
最後更新於 2 年之前
A Python bot that bridges a MUSH to a Discord channel
最後更新於 4 年之前
For grabbing PDFs from ICRA 2022
最後更新於 1 年之前
Let's see how far I get this year.
最後更新於 5 月之前
最後更新於 4 年之前
最後更新於 4 年之前
最後更新於 4 年之前
最後更新於 4 年之前
My resume
最後更新於 1 年之前