Explore projects

ESE-Heft der FSIen Inf und CE

Emacs Pakete für SP Tutoren

LibBPF-based usage examples and benchmarks for AnyCall and other projects

Showcase für das neo Theme

Einfache kompakte Repovorlage für Präsentationen mit dem neo Theme (geeignet für Forks)

LaTeX template for elaborations at the i7.

Wireless tempdevice 2016

Vorlage für die Ausarbeitung einer Bachelor- oder Masterarbeit in LaTeX

Dynamic updates (Luci approach) via a preloaded shared object

Reproducability Task for SuCoPra

Vorlage für die Ausarbeitung einer Bachelor- oder Masterarbeit in LaTeX

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

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