Repositories list

• gtitool

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

  Java

  •

  MIT License

  •1•2•1•0•Updated Aug 29, 2011Aug 29, 2011

• tpml

  Public
  TPML - Lernwerkzeug für die Theorie der Programmierung

  Java

  •

  MIT License

  •0•2•0•0•Updated Aug 29, 2011Aug 29, 2011

• git-hooks

  Public
  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.

  Shell

  •

  GNU General Public License v2.0

  •2•1•0•0•Updated Aug 5, 2011Aug 5, 2011

• antex

  Public
  AnTeX provides Ant tasks for various TeX related stuff.

  Java

  •

  Apache License 2.0

  •2•1•0•0•Updated May 28, 2011May 28, 2011