hs-visinterVisualising interpreter for a subset of Haskell 2 days
ox-arrays[no description]3 days
webserverMy web server 3 weeks
blogSource repository for 6 weeks
pongmpOnline multiplayer Pong 8 weeks
blockuntilkeyLinux command-line utility: block until a key is pressed in X11 2 months
miniagdaAn attempt to implement a dependently-typed language 3 months
haddock-to-standaloneReplace escaping links in locally generated haddocks with hackage links 3 months
yahb2Yet another yet another haskell (IRC) bot 6 months
hhexed[no description]9 months
terminal-io-hsTermio-like library for Haskell 9 months
datetagsPrefix stdin lines with date 10 months
squigInterpreter for Squiggly aka {} 11 months
agda-simplifier[no description]12 months
mandelhs[no description]18 months
list-screenInteractive list editor during a presentation 19 months
snap-efault[no description]19 months
brightnessTiny screen brightness control utility 19 months
batwarn_daemonShow i3-nagbar on almost-empty laptop battery 20 months
ghc-cabal-build-termux[no description]21 months
ghc-gc-hookLibrary for GHC Haskell for getting GC statistics using a GC hook 22 months
ghc-refinefrominscope-panic-reproRepro for ghc#21547 23 months
tomsgSimple C chat server 2 years
display-managerPop-up box for managing an external display via xrandr 2 years
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 3 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