Skip to content
Avatar

Sponsors

@sthagen @vyos

Achievements

Achievements

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.

Report abuse

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

Report abuse

Pinned

  1. An(other) implementation of JSON Schema for Python

    Python 3.3k 468

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

    Vim script 95 10

  3. A work in progress. Forever.

    Vim script 36 4

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

    32 3

  5. Joining the TIL bandwagon

    CSS 5 1

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

    Python 6 3

Contribution activity

June 2021

Created 1 repository

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

Reviewed 9 pull requests in 4 repositories

Created an issue in leanprover/lean.vim that received 2 comments

list-like attribute "arguments" are mishilighted / terminate the attributes

This may be too much of an edge case to care about at this point even though it seems there are a decent number of instances in mathlib, but: @[der…

2 comments
4 contributions in private repositories Jun 7 – Jun 14

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