A very simple interpreter and stack tracer for the AMD x86_64 ABI written in Python. Outputs stack trace to LaTeX/Tikz.

An experimental ADS (Abstract Data Structure) framework written in Go (golang) that implements a generic and modular ADS, which the user may expand upon to implement fx. graphs, trees, heaps, linked lists, etc.

Bot for Slack that mentions NP-problems every time someone explicitly postulates that there is no such thing.

Scheme-based parser for a cooking DSL

A bot for checking grades on Stads

Renskrivning af beviser til brug til eksamen i kurset Lineær algebra på IFM, AU i 2016. Beviserne er taget fra kursets tilhørende notesamling skrevet af Jesper Funch Thomsen.

Theme for Hugo

Automatiseret skabelse af PDF-, LaTeX- og HTML-versioner af referater fra holdets time (og Org-mode dokumenter generelt)

En samling af referater fra Holdets time på DA3-2015.