Pinned Repositories
VaRA-Tool-Suite
BeerME
benchbuild
Empirical-Research Toolkit
clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
doto
downward
The Fast Downward domain-independent classical planning system
gawk
Mirror from https://git.savannah.gnu.org/git/gawk.git
PerfInst
SCAPI
BWAPI project for Sommercamp
YouCompleteMe
A code-completion engine for Vim
vulder's Repositories
vulder/BeerME
vulder/doto
vulder/PerfInst
vulder/SCAPI
BWAPI project for Sommercamp
vulder/YouCompleteMe
A code-completion engine for Vim
vulder/benchbuild
Empirical-Research Toolkit
vulder/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
vulder/downward
The Fast Downward domain-independent classical planning system
vulder/gawk
Mirror from https://git.savannah.gnu.org/git/gawk.git
vulder/GoDeeper
go go fun
vulder/godot-docs
Godot Engine official documentation
vulder/grep
Mirror from https://git.savannah.gnu.org/git/grep.git
vulder/gzip
Mirror from https://git.savannah.gnu.org/git/gzip.git
vulder/IEEE-SEP
vulder/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
vulder/llvm-csv
llvm
vulder/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.
vulder/remark_code_injector
vulder/SC2-SommerCamp
vulder/SG20
Study Group 20: Education
vulder/sg20_graphgen
vulder/SYP-IEEE
vulder/SysSec
Zusammenfassung System Security SS/2013
vulder/UltiSnips-llvm
Snippets following the llvm style guide.
vulder/VaRA-Tool-Suite
vulder/vim-snippets
vim-snipmate default snippets (Previously snipmate-snippets)
vulder/vulder
vulder/YCM-Generator
Generates config files for YouCompleteMe (https://github.com/Valloric/YouCompleteMe)
vulder/z3
The Z3 Theorem Prover