TobiasMende/go-run-verify
Demo of a modular runtime verification system in go
Developer Profile
TobiasMende
Discovered public repositories for TobiasMende in the GitHub catalog.
TobiasMende/dotfiles
My dotfiles
TobiasMende/tool_lists
Links to tools by subject
TobiasMende/itm-utils
Various utitlity classes
TobiasMende/TeXtended
TeXtended is an all new LaTeX Editor written for OS X in Objective C. It’s free and beta, so feel free to test the app and contact us for feature requests and issue reports.
TobiasMende/XcodeColors
XcodeColors allows you to use colors in the Xcode debugging console. It's designed to aid in the debugging process.
TobiasMende/MurdererGame
EPIC Mörderspiel XXL
TobiasMende/CASi
Context Awareness Simulator
TobiasMende/Sandbox
Just a place for trying stupid things an for collecting code snippets.