Jacob Henn's Projects
a mildly disorganized collection of my Rust solutions to Advent of Code 2021
advent of code 2023 in Rust
utilities for Advent of Code
simple Rust web server for single-session jeopardy-style buzzer tracking
an interpreted, imperative, strongly-typed programming language that i am making for fun.
dead simple TUI flashcards
GPX (GPS Exchange) file analyzer that computes speed, distance travelled, uphill/downhill, etc.
modal TUI RPN calculator that knows algebra
an interpreter for a simple, instruction-based programming language i made for fun
[WIP] minimalist proof assistant with [planned] higher inductive types
Rust command-line chat, still in development.
An unreasonably efficient status bar for herbstluftwm.
A collection of apps written in gnembon's scarpet language
slick CLI score tracker
a simple Rust program to crop an image and print it (on Windows).