cbsa-informatik-uni-siegen/gtitool
GTI Tool - Lernwerkzeug für die Grundlagen der theoretischen Informatik
Git Hooks provides a simple mechanism to manage hooks for several Git repositories in a unified and simple way. It allows you to install hook scripts in a central location and use them for your Git repositories.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
GTI Tool - Lernwerkzeug für die Grundlagen der theoretischen Informatik
AnTeX provides Ant tasks for various TeX related stuff.
TPML - Lernwerkzeug für die Theorie der Programmierung