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