vulder

BeerME

doto

PerfInst

SCAPI

BWAPI project for Sommercamp

YouCompleteMe

A code-completion engine for Vim

benchbuild

Empirical-Research Toolkit

clang

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

downward

The Fast Downward domain-independent classical planning system

gawk

Mirror from https://git.savannah.gnu.org/git/gawk.git

GoDeeper

go go fun

godot-docs

Godot Engine official documentation

grep

Mirror from https://git.savannah.gnu.org/git/grep.git

gzip

Mirror from https://git.savannah.gnu.org/git/gzip.git

IEEE-SEP

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

llvm-csv

llvm

oh-my-zsh

🙃 A delightful community-driven (with 1,300+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

remark_code_injector

SC2-SommerCamp

SG20

Study Group 20: Education

sg20_graphgen

SYP-IEEE

SysSec

Zusammenfassung System Security SS/2013

UltiSnips-llvm

Snippets following the llvm style guide.

VaRA-Tool-Suite

vim-snippets

vim-snipmate default snippets (Previously snipmate-snippets)

YCM-Generator

Generates config files for YouCompleteMe (https://github.com/Valloric/YouCompleteMe)

z3

The Z3 Theorem Prover