Roo Code gives you a whole dev team of AI agents in your code editor.

✨ Magical shell history

Magit for VSCode

Issue tracker for Metals feature requests

Community-maintained repository of free software for the reMarkable tablet.

The Gillian Platform main repository

working with coq and tezos

Beyond file syncing and sharing, a new way to organize your files with extensible file properties and flexible views

Agda implementations of some security concepts taught here: http://www.mais.informatik.tu-darmstadt.de/fmis2012

Scripts for fetching BibTeX entries (from Google Scholar and DBLP)

Dual head PDF presenter: Current slide with context + current slide in fullscreen (Linux, BSD).

Newsbeuter is an open-source RSS/Atom feed reader for text terminals.

Fork of pmix that allows streaming (and now much more)

Categories parametrized by morphism equality, in Agda

Happy Haskell programming on Emacs

Small program to display the TU Darmstadt cafeteria menu on the command line

A modern MPD Client for Android.

libpurple bindings for Haskell

Happy Haskell Hacking for editors. DEPRECATED

libpurple bindings for Haskell

Command-line tool for querying the route information of the German transport association RMV

My configuration files

[Discontinued] Dual head PDF presenter: Current slide with context + current slide in fullscreen (Linux, BSD).

Newsbeuter is an open-source RSS/Atom feed reader for text terminals.