Pinned Repositories
advent-of-code-2019
advent-of-code-2020
Trying out Erlang...
advent-of-code-2021
arbeitszeit
A script which can be used to fill in arbeitszeit sheets from TU Darmstadt.
borg-docker
a minimal docker image for borgbackup
miniscribe
Simple tool to create MESBG lists. ⚔️
remarks
Extract highlights, scribbles, and annotations from PDFs marked with the reMarkable tablet. Export to Markdown, PDF, PNG, and SVG.
heimdall
Message interception and scheduling utilities for Erlang applications
LoRe
verified local-first programming
haaase's Repositories
haaase/arbeitszeit
A script which can be used to fill in arbeitszeit sheets from TU Darmstadt.
haaase/advent-of-code-2021
haaase/remarks
Extract highlights, scribbles, and annotations from PDFs marked with the reMarkable tablet. Export to Markdown, PDF, PNG, and SVG.
haaase/advent-of-code-2019
haaase/advent-of-code-2020
Trying out Erlang...
haaase/borg-docker
a minimal docker image for borgbackup
haaase/coreos-qemu-agent
qemu agent for coreos as a docker container for running coreos on proxmox
haaase/dividi
A distributed bill-splitting application for people who like to share their expenses but not their private data. 💸🚀
haaase/ecoop18-fault-tolerant-examples
Examples for the fault tolerance extensions of REScala, presented at ECOOP 2018.
haaase/miniscribe
Simple tool to create MESBG lists. ⚔️
haaase/crdt-website
Source of the crdt.tech website
haaase/event-scraper
haaase/haaase.github.io
My personal website
haaase/murphpad-zmk-config
ZMK config files to build firmware for the Murphpad. If you fork my copy of this, make sure you include one of the "working-*" branches!
haaase/pandoc-theorem
Write LaTeX theorems in Pandoc Markdown
haaase/rescala-webapp.g8
haaase/SwayOSD
A GTK based on screen display for keyboard shortcuts like caps-lock and volume
haaase/tiddlywiki-docker
Run TIddlyWiki 5 via Docker
haaase/tw5-markdown
Comprehensive Markdown plugin for TiddlyWiki