Block or report user


@mozilla @xplsv @meatspaces @openmusic @fxos @tweenjs

Pinned repositories

  1. servo/servo

    The Servo Browser Engine

    8.9k 1.5k

  2. tweenjs/tween.js

    Javascript tweening engine

    JavaScript 3.9k 638

  3. WebAudio/web-audio-api

    The Web Audio API, developed by the W3C Audio WG

    HTML 409 90

  4. aafm

    Android ADB file manager

    Python 158 31

  5. Animated_GIF

    Javascript library for creating animated GIFs

    JavaScript 143 29

442 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 a pull request in devtools-html/reps that received 1 comment

First stab at improving README contents and formatting

made it a bit more consistent with general github README practices, added a bit more hierarchy and also added basic instructions on getting started…

Created an issue in devtools-html/reps that received 4 comments

[suggestion] Change the name of the repo to just 'reps'

Since it's in the devtools organisation, it is a bit repetitive to also have devtools on its name. I have a devtools folder on my drive and checked…

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