The Wayback Machine - http://web.archive.org/web/20211018162018/https://github.com/Julian
Skip to content
Avatar
224 followers · 93 following · 993

Sponsors

@sthagen @gwerbin @vyos @sentry

Achievements

Mars 2020 Helicopter Contributor
Arctic Code Vault Contributor

Achievements

Mars 2020 Helicopter Contributor
Arctic Code Vault Contributor

Highlights

  • Pro
  • 1 discussion answered

Organizations

@twisted @json-schema @json-schema-org @python-attrs @pyga
Block or Report

Block or report Julian

Block user

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

You must be logged in to block users.

Report abuse

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

Report abuse

Pinned

  1. jsonschema Public

    An implementation of the JSON Schema specification for Python

    Python 3.4k 484

  2. vim-textobj-variable-segment Public

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

    Vim script 97 10

  3. dotfiles Public

    A work in progress. Forever.

    Vim script 38 4

  4. awesome-bugs Public

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

    42 4

  5. til Public

    Joining the TIL bandwagon

    CSS 6 1

  6. lean.nvim Public

    neovim support for the Lean theorem prover

    Lua 49 8

2,132 contributions in the last year

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

Contribution activity

October 2021

Created 116 commits in 11 repositories

Created a pull request in Julian/lean.nvim that received 18 comments

Bind <Esc> to close tooltips in infoview windows

So -- <tab> jumps in, <s-tab> jumps outward, <esc> closes em all.

+33 −23 • 18 comments
Opened 6 other pull requests in 3 repositories
Reviewed 10 pull requests in 4 repositories

Created an issue in Julian/lean.nvim that received 5 comments

Moving the cursor over regions can garble the infoview with concatenated goal state

See this recording: garbled.mov where somehow holding down l (or h) and moving over the intermediate regions leaves the infoview with some…

5 comments
Opened 10 other issues in 4 repositories
Answered 2 discussions in 1 repository
23 contributions in private repositories Oct 3 – Oct 18

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