barrenszeppelin Goto Github PK

2-player-programming-puzzle

Generate an instance of a 2-player programming puzzle.

adventofcode2021

adventofcode2022

My solutions for Advent of Code 2022

adventofcode2023

My solutions for Advent of Code 2023

albert-extensions

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

auhack17-muse

auhack22

auprint

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

bzsf

Small bits and pieces I have coded over time to make my time with SFML easier.

cordova-android-support-gradle-release

Cordova/Phonegap plugin to align various versions of the Android Support libraries specified by other plugins to a specific version

cura

3D printer / slicing GUI built on top of the Uranium framework

d-pop.github.io

Webplads for D-Pop

dat5vedtaegter

django-ordered-model

Allows Django models to be ordered and provides a simple admin interface for reordering them.

etcd

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

flix

The Flix Programming Language

go-ethereum

Official Go implementation of the Ethereum protocol

go-pointer-analysis-bug

go-z3

Bindings for the Z3 SMT solver

humanize-gcode

Annotates GCode files with human readable descriptions of commands

immutable

Immutable collections for Go

jalangi2

java8-benchmarks

jpeg-glitch

kattis-improvements

kattis-test

logiops

An unofficial userspace driver for HID++ Logitech devices