vogler/opam-repository
Package descriptions for OPAM
Developer Profile
vogler
Discovered public repositories for vogler in the GitHub catalog.
vogler/prezto
The configuration framework for Zsh
vogler/LiveReload-sublimetext2
LiveReload plugin for SublimeText
vogler/goblint-webapp
webapp submodule for goblint/analyzer
vogler/MA
Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint
vogler/sublime
Plugins for Sublime Text 2
vogler/dotfiles
config/setup for macOS/Linux/Windows: zsh, vim, tmux, vscode; old: Arch, awesome
vogler/LockOut
Locks the computer on resume if it is not connected to a safe wireless network.
vogler/IDP
Public repository.
vogler/PdfTools
Public repository.
vogler/ProgOpt
Program Optimization
vogler/epfl-scala
Functional Programming Principles in Scala
vogler/Chrome
Chrome extensions
vogler/CAMP2
Computer Aided Medical Procedures II
vogler/kAP
Klinisches Anwendungsprojekt
vogler/QueryOpt
Query Optimization
vogler/dbimpl
Database Implementation For Modern Hardware
vogler/vwis
Verteilte und Web-Informationssysteme
vogler/ML-Project
Webcam-Sudoku-Solver (project for lecture "machine learning")
vogler/Machine-Learning
exercises for lecture "machine learning"
vogler/analyzer
The goblint static analysis framework
vogler/AR-Project
project for lecture "augmented reality"
vogler/ProgLang
exercises for lecture "programming languages"