Latest blog posts:
- Dotfiles - 2019-01-28
- Parser combinators - 2019-01-03
- Deriving :: IO - 2018-11-15
- We're all Doomed! - 2018-08-20
- Serves you right! - 2018-01-03
- I wanna go to spaaaace! - 2017-12-24
- Hello, World! - 2017-12-21
Here’s a list of more or less useful tools that I’ve created over the years, in no particular order:
These are my dotfiles. There are many like them, but these ones are mine. I take my dotfiles very seriously, as any professional programmer should.
A document renderer supporting different formats, outputting HTML ready to print from a browser. Created because I know how to style
CSS, and I don’t know how to style
LaTeX. Uses Pandoc.
A tiny, simple *nix tool to prepend (customizable) timestamps to input streams.
A tiny, pretty silly, and not so robust little tool to get IP information from a *nix system.