Here are some of the projects I work on. A more comprehensive list is available on my github accout.

How Much?: A smart, offline currency converter

A smart currency converter for iPhone/Apple watch that knows where you are and will convert the currency of the country you’re vising to your “home currency” without you having to configure anything. I have written a blog post about the details of offline, reverse geocoding done by the app.

How Much? screenshot is a URL1 shortener that uses Unicode symbols to get really, short URLs. E.g.ብ易 It was a quick hack and meant to be a (half) joke, but people really seem to like it.

RSSQueue is a service that lets you create and curate RSS/podcast feeds that can be synced to tablets or phones. This lets you create a “watch it later” list with content that is automatically downloaded, even to iOS devices where one usually cannot simply download e.g. a video file for later watching.

Circus Escape

A simple iPhone platform game where the aim is to get as far as possible on a unicycle while avoiding obstacles.

Circus Escape screenshot


A python syntax file for Vim that uses the new “conceal” feature in Vim 7.3 to display unicode characters for some Python operators and built-in functions, turning the following:

    map (lambda x: x, [1,2,3])

    def foo(e, a):
        if e in [1,2,3] and not a:
            return math.sqrt(math.pi)
            return sum([1,2,3])


    map (λ x: x, [1,2,3])

    def foo(e, a):
        if e ∈ [1,2,3] ∧ ¬a:
            return √(π)
            return ∑([1,2,3])


A simple framework for writing evolutionary algorithms in Haskell.

Guide: GTD in 15 minutes

A pragmatic guide to the “Getting Things Done” framework. Written in Markdown.

Vi input mode for the Kate editor

A vim-like, modal input mode for the Kate editor part used in the Kate editor, Kdevelop, the Kile LaTeX editor and various other programs.

This started as a Google Summer of Code project in 2008 and I have maintained it since. I mentored Svyatoslav Kuzmich that worked on the project as a GSoC student in 2011 and Vegard Øye who worked on it in 2012.

E-book version of the Typeclassopedia

A Pandoc Markdown version of Brent Yorgey’s Typeclassopedia, allowing one to create an EPUB version. Having a “real” e-book means that you can comfortably read it on an e-book reader and highlight text and take notes while reading.

The EPUB file can be downloaded from Github:

The Markdown source is also available in that repo and you can of course use Pandoc to convert the Markdown file to all the other output formats Pandoc supports.

By using a program like Calibre, the EPUB file can be converted to other e-book formats such as the Kindle format.

  1. Technically: IRI↩︎