indexabout
NameDescriptionIdle
disk_perfDisk write performance measurement utility 5 years
cargo-dotDOT graph of your Rust dependencies 5 years
numberEnglish number printer 8 years
verify-hsEquational reasoning helper tool for Haskell-like expressions 5 years
thermEssent e-thermostaat api 8 years
rust-async-testExample code for Rust's parallel async support 5 years
accelerate-scExperimental sequential C backend for Accelerate 3 years
attractExperimenting with attractor fractals 8 years
sharing-recoveryGeneric implementation of sharing recovery in Haskell 3 months
got-guiGUI for lieuwex's Go Timetrap 3 years
drukkedoosHet Zwitsers legermes van ingebed Linux 8 weeks
hnefataflHnefatafl AI 6 years
rid3v2ID3v2 tag editor in Rust 5 years
list-screenInteractive list editor during a presentation 2 years
squigInterpreter for Squiggly aka {} 18 months
japanese.vimJanky way to type Japanese characters in vim 4 months
nobody-explodesKeep talking and nobody explodes 6 years
ghc-gc-hookLibrary for GHC Haskell for getting GC statistics using a GC hook 2 years
blockuntilkeyLinux command-line utility: block until a key is pressed in X11 10 months
lisphsLisp half-compiler written in Haskell 5 years
exec-interceptLog execve() calls of another program 4 years
cuda-mandelMandelbrot renderer using CUDA 4 years
sudokuhtmlMiniscule browser-based sudoku interface 6 years
mpmandelMulti-precision mandelbrot 5 years
multichainMultiplayer Online Chain Reaction 8 years
AOCMy solutions to Advent of Code 3 years
webserverMy web server 19 hours
ox-arraysNested, compositional struct-of-arrays orthotope arrays 6 months
asmncNetcat in x86_64 assembly 8 years
pongmpOnline multiplayer Pong 9 months
cpp-windowOpen an SDL window in C++ 5 years
bfcomphsOptimising brainfuck compiler in Haskell 7 years
art-attack-tourParallel tournament player for Art Attack 6 years
serverstorePersonal screenshot sharing tool 4 years
capturegoPlay Capture Go against friends 7 years
NeutronPlayer and compiler suite for the board game Neutron 8 years
rootsPlotting roots of polynomials 4 years
display-managerPop-up box for managing an external display via xrandr 3 years
datetagsPrefix stdin lines with date 17 months
mocoborRe-implementation of RoboCom 8 years
regexbattleRegexfaceoff using roomserver 8 years
pstatRemote mac performance monitoring 7 years
haddock-to-standaloneReplace escaping links in locally generated haddocks with hackage links 10 months
ghc-refinefrominscope-panic-reproRepro for ghc#21547 3 years
rip-langrip: Rip InterPreter for the esoteric language rip 7 years
rcalcRPN calculator in Rust 5 years
distributedRun computations on multiple machines 5 years
termioRust bindings to my C termio library 6 years
cargo-build-succinctScript for more concise `cargo build` output 7 years
batwarn_daemonShow i3-nagbar on almost-empty laptop battery 2 years