Block or report user

Organizations

@LAUNCHCO @planio-gmbh @University-of-Potsdam-MM

Popular repositories

  1. simple-java-petrinet

    A simple Petri net framework in Java. I had to write this for my studies and figured it might be helpful for someone.

    Java 17 4

  2. litcoffee-examples

    A repository of examples in Literate CoffeeScript

    CoffeeScript 6 20

  3. NoSQL-for-Dependable-Systems

    Shell 3

  4. nanoc-bootstrap

    Forked from adamstac/nanoc-bootstrap

    Nanoc bootstrap with support for Haml, Sass, Compass and jQuery

    Ruby 3 2

  5. My-dotjs-files

    This are my files for defunkt's dotjs chrome plugin

    JavaScript 3

  6. HPI-IP-OAuth

    Integrating OAuth in HPI Identity Provider .This is a paper about my work of integrating the OAuth protocol into the HPI Identity Provider

    Python 2

32 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

July 2017

Created a pull request in vert-x3/vertx-web-site that received 1 comment

correct double quotes in source code examples

I saw the code highlighting was off on http://vertx.io/ . I didn't actually test the examples.

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