indexabout
NameDescriptionIdle
hs-visinterVisualising interpreter for a subset of Haskell 7 hours
pongmpOnline multiplayer Pong 7 days
blogSource repository for https://tomsmeding.com/blog 2 weeks
blockuntilkeyLinux command-line utility: block until a key is pressed in X11 4 weeks
miniagdaAn attempt to implement a dependently-typed language 5 weeks
haddock-to-standaloneReplace escaping links in locally generated haddocks with hackage links 7 weeks
webserverMy web server 3 months
yahb2Yet another yet another haskell (IRC) bot 4 months
hhexed[no description]8 months
terminal-io-hsTermio-like library for Haskell 8 months
datetagsPrefix stdin lines with date 9 months
squigInterpreter for Squiggly aka {} 9 months
agda-simplifier[no description]11 months
mandelhs[no description]16 months
list-screenInteractive list editor during a presentation 18 months
snap-efault[no description]18 months
brightnessTiny screen brightness control utility 18 months
batwarn_daemonShow i3-nagbar on almost-empty laptop battery 19 months
ghc-cabal-build-termux[no description]19 months
ghc-gc-hookLibrary for GHC Haskell for getting GC statistics using a GC hook 21 months
ghc-refinefrominscope-panic-reproRepro for ghc#21547 22 months
tomsgSimple C chat server 23 months
display-managerPop-up box for managing an external display via xrandr 23 months
ghc-prof-readerCommand-line app for exploring GHC profiling output 2 years
got-guiGUI for lieuwex's Go Timetrap 2 years
AOCMy solutions to Advent of Code 2 years
competitionCompetition manager for CodeCup-like games 2 years
accelerate-scExperimental sequential C backend for Accelerate 2 years
coolbalSmall partial cabal replacement 3 years
ftilde[no description]3 years
refactor-type-parameters[no description]3 years
rootsPlotting roots of polynomials 3 years
exec-interceptLog execve() calls of another program 3 years
first-order-exprsAttempt at a faster first-order expression simplifier 3 years
langhsCompiler for a made-up language all the way to x64 asm 3 years
cuda-mandelMandelbrot renderer using CUDA 4 years
compcompComposable compiler 4 years
serverstorePersonal screenshot sharing tool 4 years
sound-managerSimple TUI for managing PulseAudio sinks/sink-inputs 4 years
verify-hsEquational reasoning helper tool for Haskell-like expressions 4 years
search-providersSome OpenSearch provider XML's 4 years
git-graphCommit graph of a Git repository 4 years
acpi-inhibitorTemporarily inhibit laptop lid switch (systray app) 4 years
cargo-dotDOT graph of your Rust dependencies 4 years
mpmandelMulti-precision mandelbrot 4 years
cpp-windowOpen an SDL window in C++ 4 years
spectrogramAudio spectrogram 4 years
rcalcRPN calculator in Rust 4 years
distributedRun computations on multiple machines 4 years
rid3v2ID3v2 tag editor in Rust 4 years