Skip to content
  • INFORM, Institut für Operations Research und Management GmbH
  • Aachen




  • Pro
Block or Report

Block or report bohlender

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. vim-smt2 Public

    A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

    Vim script 31 4

  2. D bindings for the Capstone disassembly framework

    D 7

  3. sicks300 Public

    ROS package for reading continuous data output of the SICK S300 Professional laser scanner. Supports both the old (v.1.02) and the new (v.1.03) protocol

    C++ 5 16

  4. Example CMake project structure

    CMake 2

  5. Forked from ros/rosdistro

    This repo maintains a lists of repositories for each ROS distribution


  6. Gogh Public

    Forked from Mayccoll/Gogh

    Color Scheme for Gnome Terminal and Pantheon Terminal


60 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

November 2021

7 contributions in private repositories Nov 7 – Nov 23

Seeing something unexpected? Take a look at the GitHub profile guide.