GitHub / ahelwer issue stats
Total issues: 214
Total pull requests: 211
Merged pull request: 182
Average time to close issues: 9 months
Average time to close pull requests: 23 days
Average comments per issue: 3.25
Average comments per pull request: 1.8
Issues created
- tlaplus/tlaplus: 48
- tlaplus-community/tree-sitter-tlaplus: 39
- tlaplus/tlapm: 26
- tlaplus/rfcs: 15
- tree-sitter/tree-sitter: 11
- tlaplus/Examples: 11
- tlaplus-community/tlauc: 5
- ahelwer/PaxosCluster: 5
- prove-rs/z3.rs: 4
- halogenica/beautifulhugo: 3
- tlaplus-community/tlaplus-nvim-plugin: 3
- tree-sitter/py-tree-sitter: 2
- tlaplus/tlaplus-standard: 2
- javacc/javacc: 2
- tree-sitter/node-tree-sitter: 2
- agentultra/tlagrammar: 2
- salesforce/runway-browser: 1
- tree-sitter/tree-sitter-javascript: 1
- salesforce/runway-compiler: 1
- tlaplus/communitymodules: 1
- tlaplus/devkit: 1
- ahelwer/computerized-mathematics: 1
- susliko/tla.nvim: 1
- asciinema/agg: 1
- latex-lsp/tree-sitter-latex: 1
- vrapper/vrapper: 1
- federicoponzi/tlaplus-wiki: 1
- Z3Prover/z3: 1
- aome510/spotify-player: 1
- johnfactotum/foliate: 1
- lorin/tla-tortoise-hare: 1
- will62794/spectacle: 1
- starydark/tencent-paxos-tla: 1
- vscode-neovim/vscode-neovim: 1
- tlaplus/foundation: 1
- hwayne/alloydocs: 1
- guidance-ai/guidance: 1
- tbg/caspaxos-tla: 1
- savq/melange-nvim: 1
- andersfugmann/ppx_protocol_conv: 1
- pypa/gh-action-pypi-publish: 1
- sshnet/SSH.NET: 1
- miyuchina/mistletoe: 1
- AllenDowney/ModSimPy: 1
- j0ru/kickoff: 1
- janestreet/ppx_inline_test: 1
- tree-sitter/tree-sitter-bash: 1
- gohugoio/hugo: 1
- aaronraimist/DontFuckWithPaste: 1
- will62794/mongo-repl-tla-models: 1
Pull requests created
- tlaplus-community/tree-sitter-tlaplus: 64
- tlaplus/tlaplus: 56
- tlaplus/Examples: 27
- tlaplus/tlapm: 14
- Z3Prover/FirewallChecker: 12
- tlaplus-community/tlauc: 8
- tlaplus/foundation: 6
- tree-sitter/tree-sitter: 6
- tlaplus-community/tlaplus-community.github.io: 3
- tree-sitter/tree-sitter-ruby: 2
- tlaplus/tlaplus-standard: 2
- salesforce/runway-browser: 1
- Z3Prover/z3test: 1
- tree-sitter/tree-sitter-bash: 1
- ahelwer/PaxosCluster: 1
- halogenica/beautifulhugo: 1
- s12f/tlads: 1
- github/semantic: 1
- hackwaly/ocamlearlybird: 1
- tree-sitter/node-tree-sitter: 1
- imperialcollegelondon/natural_number_game: 1
- susliko/tla.nvim: 1
Maintainer
Active Maintainer
- tlaplus/tlapm: 26
- tlaplus/Examples: 11
- tlaplus/devkit: 1
Issue Author Associations
- Contributor (111, 51.87%)
- None (62, 28.97%)
- Collaborator (35, 16.36%)
- Owner (6, 2.80%)
Pull Request Author Associations
- Contributor (165, 78.20%)
- Collaborator (43, 20.38%)
- None (2, 0.95%)
- Owner (1, 0.47%)
Top Issue Labels
- bug (52)
- enhancement (29)
- syntax parser (14)
- Tools (13)
- SANY (7)
- wontfix (5)
- DevEnvironment (5)
- blocked (4)
- cli (4)
- help wanted (4)
- pluscal (3)
- TLA+ Foundation Funding (3)
- good first issue (3)
- Toolbox (2)
- upstream (2)
Top Pull Request Labels
- enhancement (9)
- DevEnvironment (7)
- SANY (7)
- refactoring (5)
- Tools (4)
- c-library (1)
- documentation (1)
- bug (1)
- Unicode (1)