Popular repositories

1. tpml tpml Public

   TPML - Lernwerkzeug für die Theorie der Programmierung

   Java 2

2. gtitool gtitool Public

   GTI Tool - Lernwerkzeug für die Grundlagen der theoretischen Informatik

   Java 2 1

3. antex antex Public

   Forked from bmeurer/antex

   AnTeX provides Ant tasks for various TeX related stuff.

   Java 1

4. git-hooks git-hooks Public

   Forked from bmeurer/git-hooks

   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…

   Shell 1