Block or report user

Report or block thehogfather

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • United Kingdom

Popular repositories

  1. brackets-code-folding

    Code folding extension for brackets IDE

    JavaScript 137 44

  2. brackets-latex

    Support for editing and compiling latex documents in brackets

    JavaScript 26 5

  3. pvsio-web

    A javascript library to connect to and communicate with a pvsio process using websockets

    JavaScript 10 23

  4. brackets-custom-region-code-folding

    Custom region code folding in brackets defined within comments

    JavaScript 10 3

  5. timevine

    A d3-plugin for visualising a list on events on a timeline

    JavaScript 2 2

  6. ProofExplorer

    Interactive visualisations of proof trees in PVS

    JavaScript 2 1

612 contributions in the last year

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

Contribution activity

July 2018

45 contributions in private repositories Jul 2 – Jul 18

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