GitHub / Julian issue stats
Total issues: 984
Total pull requests: 506
Merged pull request: 413
Average time to close issues: about 1 year
Average time to close pull requests: about 1 month
Average comments per issue: 1.26
Average comments per pull request: 1.14
Issues created
- bowtie-json-schema/bowtie: 136
- julian/til: 121
- Julian/mkpkg: 75
- julian/dotfiles: 74
- Julian/venvs: 56
- Julian/lean.nvim: 48
- julian/pi: 39
- Julian/regret: 31
- Julian/Filesystems: 30
- Julian/Great: 20
- python-jsonschema/referencing: 18
- twisted/tubes: 14
- julian/virtue: 13
- json-schema-org/JSON-Schema-Test-Suite: 11
- python-jsonschema/jsonschema: 10
- julian/lean-across-the-board: 10
- neovim/neovim: 9
- json-schema-org/community: 7
- Julian/Minion: 7
- json-schema-org/website: 7
- python-jsonschema/referencing-suite: 7
- leanprover/lean4: 7
- Julian/sphinxcontrib-lean: 6
- astral-sh/uv: 6
- pyga/ebb-lint: 5
- numToStr/lemmy-help: 5
- pyga/awpa: 4
- CopilotC-Nvim/CopilotChat.nvim: 4
- crate-py/url: 4
- nvim-lua/plenary.nvim: 4
- julian/podcasts: 4
- bowtie-json-schema/homebrew-tap: 4
- wntrblm/nox: 3
- json-schema-org/json-schema-spec: 3
- microsoft/pyright: 3
- hynek/characteristic: 3
- Julian/svmlight-loader: 3
- python-jsonschema/sphinx-json-schema-spec: 3
- astral-sh/ruff: 3
- Julian/diff: 3
- Julian/Condent: 3
- tree-sitter/tree-sitter: 3
- ewels/rich-click: 2
- stefankoegl/python-json-pointer: 2
- julian/vim-textobj-variable-segment: 2
- stsewd/sphinx.nvim: 2
- crate-py/rpds: 2
- nvim-treesitter/nvim-treesitter: 2
- Julian/gtfo: 2
- pyca/cryptography: 2
- pypa/pyproject-hooks: 2
- ArchiveBox/ArchiveBox: 2
- julian/homebrew-tap: 2
- json-schema-org/understanding-json-schema: 2
- pypa/build: 2
- norcalli/snippets.nvim: 2
- Intelligence-AI/learnjsonschema.com: 2
- HdrHistogram/HdrHistogram_py: 2
- leanprover-community/lean4-metaprogramming-book: 2
- Julian/libraw-cffi: 2
- gitpod-io/gitpod: 2
- executablebooks/sphinx-design: 2
- pyga/parsley: 2
- jbaubree/vite-plugin-sitemap: 1
- dwrensha/lean4-maze: 1
- PhilippC/keepass2android: 1
- orbstack/orbstack: 1
- pyca/pyopenssl: 1
- avakar/pytoml: 1
- pypa/readme_renderer: 1
- twisted/txacme: 1
- julian/grim: 1
- pypa/virtualenv: 1
- JulianEducation/CommandLineBasics: 1
- python-attrs/attrs: 1
- asottile/flake8-match: 1
- python-jsonschema/jsonschema-lexer: 1
- nose-devs/nose: 1
- python-jsonschema/check-jsonschema: 1
- graphql-python/graphene-sqlalchemy: 1
- jceb/vim-orgmode: 1
- squeaky-pl/portable-pypy: 1
- opensourcepledge/opensourcepledge.com: 1
- Clemens-U/jsonbuddy: 1
- pypi/warehouse: 1
- inducer/pudb: 1
- dylan-profiler/tangled-up-in-unicode: 1
- RecipeUI/RecipeUI: 1
- julian/homebrew-lean: 1
- HdrHistogram/HdrHistogramJS: 1
- monochromegane/the_platinum_searcher: 1
- nanotee/nvim-lua-guide: 1
- twisted/treq: 1
- leanprover/elan: 1
- supakeen/steck: 1
- zheller/flake8-quotes: 1
- jml/difftodo: 1
- keeganwitt/docker-gradle: 1
- boto/boto: 1
- coderanger/pychef: 1
- sphinx-doc/sphinxext-opengraph: 1
- alex/alchimia: 1
- python-hyper/uritemplate: 1
- obendidi/httpx-cache: 1
- rhysd/action-setup-vim: 1
- pallets/click: 1
- julian/schemas: 1
- glacambre/firenvim: 1
- textualize/trogon: 1
- beancount/beancount: 1
- PyGithub/PyGithub: 1
- pypa/twine: 1
- dcramer/numbers: 1
- sunjon/stylish.nvim: 1
- AntennaPod/AntennaPod: 1
- jelmer/dulwich: 1
- folke/trouble.nvim: 1
- pydata/patsy: 1
- clarete/forbiddenfruit: 1
- eliangcs/happybase-mock: 1
- imperialcollegelondon/natural_number_game: 1
- zopefoundation/zope.interface: 1
- aio-libs/yarl: 1
- nvim-neorocks/luarocks-tag-release: 1
- AOMediaCodec/libavif: 1
- pypa/setuptools_scm: 1
- royriojas/eslint-friendly-formatter: 1
- python-jsonschema/hypothesis-jsonschema: 1
- woodruffw/zizmor: 1
- leanprover-contrib/lean-upgrade-action: 1
- wbolster/qualname: 1
- danielrichman/strict-rfc3339: 1
- web-mech/badwords: 1
- mwaskom/seaborn: 1
- preservim/vimux: 1
- lewis6991/satellite.nvim: 1
- kana/vim-textobj-user: 1
- minimaxir/automl-gs: 1
- garybernhardt/selecta: 1
- kushaldas/asaman: 1
- microsoft/vscode: 1
- sphinx-doc/sphinx: 1
- dcrosta/wideload: 1
- julian/named-branch-action: 1
- orium/rpds: 1
- julian/pypy-builder: 1
- podverse/podcast-feed-parser: 1
- sourcemeta/learnjsonschema.com: 1
- selwin/python-user-agents: 1
- hrsh7th/cmp-path: 1
- pytest-dev/pytest-subtests: 1
- sharkdp/hyperfine: 1
- andrewradev/switch.vim: 1
- prompt-toolkit/ptpython: 1
- ydataai/ydata-profiling: 1
- mfontanini/presenterm: 1
- kovidgoyal/kitty: 1
- julian/tree-sitter-lean: 1
- Julian/Ivoire: 1
- facelessuser/pyspelling: 1
- openapi-generators/openapi-python-client: 1
- MostAwesomeDude/betterpath: 1
- pypa/hatch: 1
- nvim-lua/nvim-lua-plugin-template: 1
- julian/stylish: 1
- tomtomjhj/coq-lsp.nvim: 1
- json-schema-org/json-schema-org.github.io: 1
- gvwilson/sdxpy: 1
- rbarrois/python-semanticversion: 1
- ciena/afkak: 1
- leanprover-community/mathlib-tools: 1
- aio-libs/aiodocker: 1
- saghen/blink.cmp: 1
- axiak/pybloomfiltermmap: 1
- PyCQA/doc8: 1
- mhinz/vim-signify: 1
- urwid/urwid: 1
- bolsote/isoduration: 1
- jxmorris12/language_tool_python: 1
Pull requests created
- bowtie-json-schema/homebrew-tap: 246
- julian/named-branch-action-example: 20
- json-schema-org/JSON-Schema-Test-Suite: 17
- leanprover-community/mathlib4: 14
- leanprover-community/mathlib-tools: 12
- Julian/lean.nvim: 11
- leanprover/lean-client-js: 10
- json-schema-org/json-schema-spec: 9
- json-schema-org/json-schema-org.github.io: 9
- json-schema-org/website: 9
- twisted/txaws: 6
- imperialcollegelondon/flt: 5
- json-schema-org/community: 5
- bowtie-json-schema/bowtie: 5
- antocuni/pypy-wheels: 4
- pyga/awpa: 4
- squeaky-pl/zenchmarks: 4
- twisted/constantly: 3
- julian/generatingfunctionology.lean: 3
- leanprover/vscode-lean4: 3
- python-jsonschema/jsonschema: 3
- hynek/characteristic: 3
- epwalsh/obsidian.nvim: 2
- neovim/nvim-lspconfig: 2
- jml/tree-format: 2
- ewels/rich-click: 2
- wait4x/wait4x: 2
- lewis6991/satellite.nvim: 2
- spec-first/connexion: 2
- mahmoud/glom: 2
- pyga/ebb-lint: 2
- json-schema-org/blog: 2
- leanprover/leanprover.github.io: 2
- pypa/packaging.python.org: 2
- pyca/cryptography: 2
- aaron1011/group_ac: 2
- TheNileDev/nile-py: 2
- casey/just: 2
- horejsek/python-fastjsonschema: 2
- crate-py/rpds: 2
- christianscott/levenshtein-distance-benchmarks: 2
- leanprover/vscode-lean: 2
- pypy/pypy: 2
- cncf/landscapeapp: 1
- adamlwgriffiths/PyGLy: 1
- Julian/pdl-2024-git: 1
- stefanholek/lazy: 1
- julian/vim-textobj-variable-segment: 1
- ludiosarchive/Webmagic: 1
- tox-dev/platformdirs: 1
- MostAwesomeDude/betterpath: 1
- HdrHistogram/HdrHistogram_py: 1
- julian/homebrew-tap: 1
- python-attrs/attrs: 1
- wntrblm/nox: 1
- imperialcollegelondon/natural_number_game: 1
- mitsuhiko/lucumr: 1
- pre-commit-ci/runner-image: 1
- YoSmudge/dnsyo: 1
- teorth/equational_theories: 1
- gobbledegook/creevey: 1
- pycontribs/schemastorepy: 1
- julian/homebrew-lean: 1
- textualize/trogon: 1
- leanprover/subverso: 1
- leanprover/elan: 1
- zheller/flake8-quotes: 1
- asottile/watch-plz: 1
- platformdirs/platformdirs: 1
- zestyping/q: 1
- python-jsonschema/schemastore: 1
- neovim/neovim: 1
- stsewd/sphinx.nvim: 1
- Homebrew/homebrew-core: 1
- Nurdok/yieldfrom: 1
- habnabit/panglery: 1
- austinletson/carleson: 1
- Julian-Spring-2022/skills-introduction-to-github: 1
- FooSoft/anki-connect: 1
- imperialcollegelondon/formalising-mathematics: 1
- JulianEducation/PDLCalculator: 1
- postmanlabs/schemas: 1
- jaraco/zipp: 1
- postman-open-technologies/industry-standards: 1
- orium/rpds: 1
- leanprover-community/batteries: 1
- jceb/vim-orgmode: 1
- adamtheturtle/sphinx-substitution-extensions: 1
- Julian/subverso: 1
- PatrickMassot/lean-lsp-experiments.nvim: 1
- leanprover-contrib/lean-upgrade-action: 1
- wbolster/qualname: 1
- Cornices/cornice: 1
- json-schema-org/vocab-database: 1
- AntoineChambert-Loir/nvim: 1
- pypa/twine: 1
- PatrickMassot/neovim_config: 1
- clarete/forbiddenfruit: 1
- flypitch/flypitch: 1
- kmill/leantex: 1
- tobgu/pyrsistent: 1
- leanprover-community/doc-gen: 1
Maintainer
- bowtie-json-schema/homebrew-tap: 250
- bowtie-json-schema/bowtie: 141
- julian/til: 121
- Julian/mkpkg: 75
- julian/dotfiles: 74
- Julian/lean.nvim: 59
- Julian/venvs: 56
- julian/pi: 39
- Julian/regret: 31
- Julian/Filesystems: 30
- json-schema-org/JSON-Schema-Test-Suite: 28
- Julian/Great: 20
- julian/named-branch-action-example: 20
- python-jsonschema/referencing: 18
- json-schema-org/website: 16
Active Maintainer
Issue Author Associations
- Owner (559, 56.81%)
- Member (246, 25.00%)
- None (134, 13.62%)
- Contributor (43, 4.37%)
- Collaborator (2, 0.20%)
Pull Request Author Associations
- Member (326, 64.43%)
- Contributor (88, 17.39%)
- Owner (39, 7.71%)
- None (36, 7.11%)
- Collaborator (17, 3.36%)
Top Issue Labels
- enhancement (139)
- To Read (114)
- bug (56)
- good first issue (44)
- internal (33)
- frontend-ux (29)
- documentation (17)
- help wanted (16)
- protocol (10)
- low priority (8)
- infoview (8)
- Dialects v2 (6)
- Enhancement (6)
- gsoc (5)
- Site UX (5)
Top Pull Request Labels
- ready-to-merge (7)
- t-algebra (4)
- maintainer-merge (4)
- agenda (3)
- easy (3)
- on hold (2)
- delegated (2)
- t-data (2)
- installation (1)
- bug (1)
- enhancement (1)
- go (1)
- new formula (1)
- CI-published-bottle-commits (1)
- new-contributor (1)