BarrensZeppelin

humanize-gcode

Annotates GCode files with human readable descriptions of commands

adventofcode2021

adventofcode2023

My solutions for Advent of Code 2023

adventofcode2022

My solutions for Advent of Code 2022

pointer

Implementation of Steensgaard's pointer analysis for Go

pmmap

Go implemenation of Persistent Mergeable Hash Maps

videogames

A small collection of my old "Game Jam" games

2-player-programming-puzzle

Generate an instance of a 2-player programming puzzle.

albertlauncher-python

A repository for the official Python extensions

ale

Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support

alpine-pypy

Docker-based builds for PyPy on Alpine Linux

AUHACK22

auprint

Allows you to setup Aarhus University's printers on their prt11.uni.au.dk server

d-pop.github.io

Webplads for D-Pop

etcd

Distributed reliable key-value store for the most critical data of a distributed system

go-ethereum

Official Go implementation of the Ethereum protocol

go-pointer-analysis-bug

go-z3

Bindings for the Z3 SMT solver

immutable

Immutable collections for Go

kattis-improvements

kattis-test

ncpc-web

Webpage for the Nordic Collegiate Programming Contest

nodeprof.js

Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.

pipenv

Python Development Workflow for Humans.

pypy

PyPy is a very fast and compliant implementation of the Python language.

SPDS

Efficient and Precise Pointer-Tracking Data-Flow Framework

vmprof-firefox-converter

vmprof-python

vmprof - a statistical program profiler

wala-repro

web