Sitelet https://web.archive.org/web/20201228064701im_/https://github.com/Julian
Skip to content
Avatar
  • Block or report user

    Block or report Julian

    Block user

    Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

    Report abuse

    Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

    Report abuse
209 followers · 63 following · 750

Highlights

  • Arctic Code Vault Contributor

Organizations

@twisted @json-schema @json-schema-org @python-attrs @pyga

Pinned

  1. jsonschema

    An(other) implementation of JSON Schema for Python

    Python 3k 453

  2. vim-textobj-variable-segment

    A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoes

    Vim script 86 8

  3. dotfiles

    A work in progress. Forever.

    Vim script 31 4

  4. awesome-bugs

    A collection of bizarre, funny or obscure bugs in our software and hardware

    22 2

  5. til

    Joining the TIL bandwagon

    CSS 4 1

  6. regret

    You made a thing, but now you wish it'd go away... Deprecations, a love story.

    Python 4 3

2,943 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

December 2020

Created 79 commits in 10 repositories
Created 4 repositories

Created a pull request in leanprover-community/mathlib that received 9 comments

chore(linear_algebra/linear_independent): make a binding explicit in ne_zero

Suggested by @PatrickMassot in https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/independent.20columns/near/220700702

+5 −7 • 9 comments
Opened 7 other pull requests in 7 repositories
leanprover-community/mathlib
1 closed
sharkdp/bat
1 open
bryangingechen/lean-matroids
1 closed
leanprover/lean-client-js
1 open
sphinx-doc/sphinx
1 merged
nvim-telescope/telescope.nvim
1 merged
leanprover/lean.vim
1 open
Reviewed 2 pull requests in 2 repositories
bryangingechen/lean-matroids 1 pull request
Julian/regret 1 pull request
Opened 17 issues in 4 repositories
Julian/til
13 open
Julian/dotfiles
2 open
Julian/mkpkg
1 open
norcalli/snippets.nvim
1 open

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

You can’t perform that action at this time.