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