Block or report user



Pinned repositories

  1. twitchlive-extension

    TwitchLive-Panel Gnome Shell Extension displaying your favorite streamers

    JavaScript 9 6

  2. lvbstats

    Analyse der Twittermeldungen der Leipziger Verkehrsbetriebe

    JavaScript 1

  3. pa-tunnelfinder

    Prison Architect Escape Tunnel FInder

    HTML 2 1

  4. more-collections

    More collecions beyond the standard library

    Python 1

  5. ssfsm

    Stupidly Simple Finite State Machine implementation for python

    Python 1

109 contributions in the last year

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

Contribution activity

June 2018

Created a pull request in mozilla/mentat that received 1 comment

Fix broken cli #752

Pre: Don't try to match "key" when not using sqlcipher. This causes a runtime error, since opt_str("key") isn't recognized. This solves #752

+4 −5 1 comment

Created an issue in mozilla/mentat that received 3 comments

[cli] cli broken with "No option 'key' defined"

It seems the cli is broken since a few commits. The error I get running echo .exit | cargo cli is thread 'main' panicked at 'No option 'key' define…


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