Explore projects

Clone of https://cal8.cs.fau.de/redmine/projects/cool

For my own testing

Map between manifestation ID (BV number), copy/item ID (shelfmark) and digitized image version ID (digitool pid) for library objects

Upload memory image to a untethered rocket chip.

Simple PDF viewer

Kleine Sammlung an Coq-Aufgaben zum Üben auf Einstiegsniveau.

Template for first exercise sheet

configuration for my devices

Files that are placed on Pi1 and Pi2.

tex files for bst summary SS16