markusscherer Goto Github PK

advent-of-code-2020

commutation-test

This repository contains the code belonging to my diploma thesis.

compilerbautests

dotfiles

My dotfiles and system configuration.

dotty

A python script to sync your dotfiles

helios

Once, in a time before they knew Software Engineering and Computer Science, three young - very young - men set out to develop a shift scheduling system. This is their story.

home-manager

Manage a user environment using Nix [maintainer=@rycee]

hschedule

hschedule is a small haskell program to generate schedules for university courses and such.

nix-envs

Comfy, portable nix environments to make myself at home on any box where nix is installed.

nixpkgs

Nix Packages collection & NixOS

oh-my-zsh

A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

pai-project

Repository for the university course "Preferences in Artificial Intelligence".

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

vandal-to-dot

A converter from the output of the vandal decompiler to Graphviz's dot.

xmobar

A minimalistic text-based status bar