Skip to content


  • Arctic Code Vault Contributor



Popular repositories

  1. Forked from szerko/Respond2

    Respond2 is a responsive CMS that features Bootstrap 3, a complete REST API, templates, plugins, and more.


  2. Forked from diffblue/cbmc

    C Bounded Model Checker


73 contributions in the last year

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

Contribution activity

October 2020

bkolb has no activity yet for this period.

September 2020

Created an issue in b3nn0/stratux that received 2 comments

Update from Stratux web ui

It would be great if one could update to a new release using the web interface of stratux. If I understand correctly, the update shell script in th…


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

You can’t perform that action at this time.