Pinned Repositories
advent_of_code_2022
My solutions to Advent of Code 2022
curk
An old toy project written in Clojure which I pushed here for safe keeping
gpt-platformer
GrillLeft
Hobby project, recording and graphing temperatures from a grill thermometer
lambda_calc
rtttlsynth
Synthesizer for playing RTTTL ringtones
smangelsdorf's Repositories
smangelsdorf/rtttlsynth
Synthesizer for playing RTTTL ringtones
smangelsdorf/advent_of_code_2022
My solutions to Advent of Code 2022
smangelsdorf/curk
An old toy project written in Clojure which I pushed here for safe keeping
smangelsdorf/gpt-platformer
smangelsdorf/GrillLeft
Hobby project, recording and graphing temperatures from a grill thermometer
smangelsdorf/lambda_calc
smangelsdorf/proofsweeper
Play Minesweeper by formally proving your moves in Idris
smangelsdorf/testing
testing something