Git repository browser
Some projects by Tom Smeding.
index
about
Name
Description
Idle
ox-arrays
[no description]
16 hours
hs-visinter
Visualising interpreter for a subset of Haskell
3 days
webserver
My web server
4 days
blog
Source repository for https://tomsmeding.com/blog
4 weeks
pongmp
Online multiplayer Pong
6 weeks
blockuntilkey
Linux command-line utility: block until a key is pressed in X11
8 weeks
miniagda
An attempt to implement a dependently-typed language
2 months
haddock-to-standalone
Replace escaping links in locally generated haddocks with hackage links
3 months
yahb2
Yet another yet another haskell (IRC) bot
5 months
hhexed
[no description]
9 months
terminal-io-hs
Termio-like library for Haskell
9 months
datetags
Prefix stdin lines with date
10 months
squig
Interpreter for Squiggly aka {}
10 months
agda-simplifier
[no description]
12 months
mandelhs
[no description]
17 months
list-screen
Interactive list editor during a presentation
19 months
snap-efault
[no description]
19 months
brightness
Tiny screen brightness control utility
19 months
batwarn_daemon
Show i3-nagbar on almost-empty laptop battery
20 months
ghc-cabal-build-termux
[no description]
20 months
ghc-gc-hook
Library for GHC Haskell for getting GC statistics using a GC hook
22 months
ghc-refinefrominscope-panic-repro
Repro for ghc#21547
23 months
tomsg
Simple C chat server
24 months
display-manager
Pop-up box for managing an external display via xrandr
24 months
ghc-prof-reader
Command-line app for exploring GHC profiling output
2 years
got-gui
GUI for lieuwex's Go Timetrap
2 years
AOC
My solutions to Advent of Code
2 years
competition
Competition manager for CodeCup-like games
2 years
accelerate-sc
Experimental sequential C backend for Accelerate
2 years
coolbal
Small partial cabal replacement
3 years
ftilde
[no description]
3 years
refactor-type-parameters
[no description]
3 years
roots
Plotting roots of polynomials
3 years
exec-intercept
Log execve() calls of another program
3 years
first-order-exprs
Attempt at a faster first-order expression simplifier
3 years
langhs
Compiler for a made-up language all the way to x64 asm
3 years
cuda-mandel
Mandelbrot renderer using CUDA
4 years
compcomp
Composable compiler
4 years
serverstore
Personal screenshot sharing tool
4 years
sound-manager
Simple TUI for managing PulseAudio sinks/sink-inputs
4 years
verify-hs
Equational reasoning helper tool for Haskell-like expressions
4 years
search-providers
Some OpenSearch provider XML's
4 years
git-graph
Commit graph of a Git repository
4 years
acpi-inhibitor
Temporarily inhibit laptop lid switch (systray app)
4 years
cargo-dot
DOT graph of your Rust dependencies
4 years
mpmandel
Multi-precision mandelbrot
4 years
cpp-window
Open an SDL window in C++
4 years
spectrogram
Audio spectrogram
4 years
rcalc
RPN calculator in Rust
4 years
distributed
Run computations on multiple machines
4 years
[1]
[2]
[3]