Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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.
