danielkocher

btreevis

Beautiful B+ trees in TeX

aads-ps

advanced-image-processing-and-computer-vision-ps

bibliography

My personal managed bibliography (created by JabRef).

cppcheck

static analysis of C/C++ code

CppCoreGuidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

danielkocher.github.io

selfie

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

efficient_algorithms_se

Repository for all the work done for the seminar Efficient Algorithms (winter term 2015/2016)

git-standup

Recall what you did on the last working day. Psst! or be nosy and find what someone else in your team did ;-)

ios-transcript

Transcript of the Introduction to Operating Systems (IOS) class taught at the University of Salzburg. The author gives no guarantee for completeness or correctness of the content.

link-select

Random link selector

media_security_ps

obdd-survey

Small survey on Ordered Binary Decision Diagrams

ocelot2

Second version of a self-compiling compiler written in a non-trivial subset of C

svn2git

Ruby tool for importing existing svn projects into git.

vim

Personal vim configuration