Updated 38 seconds ago

My Emacs configuration.

Updated 2 hours ago

configurations of hq services

Updated 1 day ago

simply downloading and installing the latest remote release version

Updated 6 days ago

Genode Packages collection

Updated 6 days ago

Mirror of www.c3d2.de repository on git.c3d2.de

Updated 1 week ago

Updated 1 week ago

SCHedule Information Table

Updated 1 week ago

Updated 1 week ago

Fork of the Genode Operating System Framework

Updated 2 weeks ago

Repository for generating "ehmry" depot index.

Updated 2 weeks ago

Dhall expressions for compiling Genode configuration XML

Updated 2 weeks ago

Some notebooks with the data from the Dresdeb open data portal

Updated 2 weeks ago

The NOVA OS Virtualization Architecture is a research project aimed at constructing a secure virtualization environment with a small trusted computing base.

Updated 2 weeks ago

configurations of hq services

Updated 3 weeks ago

Updated 1 month ago

A collection of random configuration files.

Updated 1 month ago

Was ist alles zu zum um das OD/OK-Lab meetup richtig vorzubereiten

Updated 1 month ago

Hier befinden sich die Slides der Talks die wir im Rahmen von Chaos Macht Schule gehalten haben.

Updated 1 month ago