indexabout
NameDescriptionIdle
verify-hsEquational reasoning helper tool for Haskell-like expressions 6 days
barum-ivoA board game designed by Ivo 5 weeks
competitionCompetition manager for CodeCup-like games 5 weeks
termioRust bindings to my C termio library 6 weeks
tetrisTetris game 6 weeks
serverstorePersonal screenshot sharing tool 6 weeks
ttt3dTiny tic-tac-toe 3D "AI" 7 weeks
sudokuhtmlMiniscule browser-based sudoku interface 7 weeks
brightnessTiny screen brightness control utility 7 weeks
batwarn_daemonShow i3-nagbar on almost-empty laptop battery 7 weeks
webserverMy web server 7 weeks
psmnMy password manager 2 months
AOCMy solutions to Advent of Code 3 months
lpA simplex-based LP solver 5 months
education-filterAn ad-hoc filter for http://www.cs.uu.nl/education 5 months
nobody-explodesKeep talking and nobody explodes 7 months
sudokuA generic sudoku solver 7 months
art-attack-tourParallel tournament player for Art Attack 7 months
hnefataflHnefatafl AI 7 months
icmp-commTCP over ICMP 7 months
sound-managerSimple TUI for managing PulseAudio sinks/sink-inputs 7 months
sudokushotSudoku screenshot to text 8 months
pongmpOnline multiplayer Pong 9 months
stddevStatistical info tool 10 months
vimturingTuring machine simulator in vim normal mode 11 months
mathAlgebraic manipulations in Haskell 11 months
bfturingTuring machine simulator in Brainfuck 11 months
bfinterAn optimising brainfuck interpreter 11 months
bfcomphsOptimising brainfuck compiler in Haskell 11 months
biglettersBig letters 12 months
doomrooms-ttt[no description]12 months
cuda-mandelMandelbrot renderer using CUDA 12 months
lisphsLisp half-compiler written in Haskell 12 months
chessA chess AI 12 months
capturegoPlay Capture Go against friends 13 months
ccomp-marC compiler for MAR 14 months
bfcompA brainfuck compiler for x86_64 15 months
langhsCompiler for a made-up language all the way to x64 asm 16 months
bin2cxxd -i, but then somewhat shorter 17 months
pstatRemote mac performance monitoring 17 months
histogramA terminal histogram drawer 19 months
tomsgSimple C chat server 21 months
cargo-build-succinctScript for more concise `cargo build` output 21 months
rcalcRPN calculator in Rust 21 months
rip-langrip: Rip InterPreter for the esoteric language rip 22 months
rsaUnsafe C++ crypto toolkit 23 months
attractExperimenting with attractor fractals 24 months
mocoborRe-implementation of RoboCom 2 years
rootsPlotting roots of polynomials 2 years
volumeTerminal volume slider for OSX 2 years