Skip to content


  • Arctic Code Vault Contributor


  1. A story authoring tool for children

    Java 10 4

  2. Autonomous steering behaviours and simple terrain generation for Panda3D.

    Python 6 4

  3. 1
    HTML Tags You Can Use on GitHub
    Wherever HTML is rendered on GitHub (gists, README files in repos, comments on issues and pull requests, ...)you can use any of the HTML elements that [GitHub Flavored Markdown]( (GFM) provides syntactic sugar for. You can either use the syntactic sugar that GFM (or other [GitHub-supported markup language]( you're using) provides or, since [Markdown can contain raw HTML](, you can enter the HTML tags manually.
  4. The GitHub Pages theme that I use on

    CSS 1

2,244 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Activity overview
Contributed to hypothesis/lms, hypothesis/h, hypothesis/via3 and 5 other repositories

Contribution activity

September 2020

Created a pull request in hypothesis/lms that received 3 comments

Rename authorizeUrl to authUrl

And authorize_url to auth_url. This is for consistency with other parts of the JS config where the same URL appears as authUrl.

+24 −24 3 comments
14 contributions in private repositories Sep 3 – Sep 15

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

You can’t perform that action at this time.