Block or report user
  • Lisbon, Portugal

Popular repositories

  1. showtime-plugins

    Repository of plugins for Showtime created by facanferff.

    JavaScript 3 6

  2. showtime-plugin-master-index

    Master index for published Showtime plugins

    Python 1

  3. movian-plugins

    Plugins for Movian Media Center

    JavaScript 1

  4. showtime-vsdoc

    VSDoc files for Visual Studio Intellisense

    JavaScript

  5. movian-plugin-channel9

    Channel9 plugin for Movian (Unofficial)

    JavaScript

  6. movian-plugin-ign

    Movian plugin for IGN (Unofficial)

    JavaScript

77 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Created an issue in Z3Prover/z3 that received 1 comment

Wrong model when using re.complement

Hi, I'm trying to generate a string value given a very simple regular expression, such as [^A], which I would expect any string of length 1 of any …

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