Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / advancedresearch issue stats
Total issues: 281
Total pull requests: 1,267
Merged pull request: 1,266
Average time to close issues: 2 months
Average time to close pull requests: 4 minutes
Average comments per issue: 0.46
Average comments per pull request: 0.01
Issues created
- advancedresearch/pocket_prover: 39
- advancedresearch/hooo: 37
- advancedresearch/joker_calculus: 35
- advancedresearch/avalog: 34
- advancedresearch/poi: 28
- advancedresearch/last_order_logic: 22
- advancedresearch/avatar_graph: 18
- advancedresearch/discrete: 17
- advancedresearch/algexenotation: 9
- advancedresearch/monotonic_solver: 8
- advancedresearch/linear_solver: 6
- advancedresearch/quickbacktrack: 4
- advancedresearch/nano_ecs: 4
- advancedresearch/path_iter: 4
- advancedresearch/hilbert_image_to_sound: 3
- advancedresearch/prop: 3
- advancedresearch/asi_core0: 3
- advancedresearch/avatar_hypergraph_rewriting: 2
- advancedresearch/caso: 1
- advancedresearch/max_tree: 1
- advancedresearch/hypo: 1
- advancedresearch/higher_order_point: 1
- advancedresearch/higher_order_core: 1
Pull requests created
- advancedresearch/hooo: 308
- advancedresearch/pocket_prover: 155
- advancedresearch/prop: 121
- advancedresearch/poi: 88
- advancedresearch/algexenotation: 78
- advancedresearch/last_order_logic: 71
- advancedresearch/avalog: 71
- advancedresearch/discrete: 59
- advancedresearch/avatar_graph: 56
- advancedresearch/joker_calculus: 44
- advancedresearch/path_iter: 26
- advancedresearch/caso: 25
- advancedresearch/linear_solver: 20
- advancedresearch/nano_ecs: 17
- advancedresearch/reachability_solver: 14
- advancedresearch/monotonic_solver: 14
- advancedresearch/tree_mem_sort: 11
- advancedresearch/higher_order_point: 9
- advancedresearch/path_semantics_std: 8
- advancedresearch/pocket_prover-set: 8
- advancedresearch/higher_order_core: 7
- advancedresearch/aude: 7
- advancedresearch/debug_sat: 6
- advancedresearch/max_tree: 5
- advancedresearch/hypo: 5
- advancedresearch/hilbert_image_to_sound: 5
- advancedresearch/avatar_hypergraph_rewriting: 4
- advancedresearch/utility_programming: 4
- advancedresearch/iknow: 4
- advancedresearch/closure_calculus: 3
- advancedresearch/graph_builder: 3
- advancedresearch/asi_core0: 3
- advancedresearch/trinoise: 2
- advancedresearch/abstractio: 2
- advancedresearch/quickbacktrack: 1
- advancedresearch/rigid_body: 1
- advancedresearch/error_predictive_learning: 1
- advancedresearch/agent_safety_layers: 1
Issue owner Associations
- Contributor (254, 90.39%)
- Collaborator (22, 7.83%)
- None (5, 1.78%)
Pull Request owner Associations
- Contributor (1,179, 93.05%)
- Collaborator (87, 6.87%)
- None (1, 0.08%)
All Maintainers
- bvssvni (109)
Active Maintainers
Top Issue Authors
- bvssvni (276)
- epurdy (3)
- mfil (1)
- zbraniecki (1)
Top Pull Request Authors
- bvssvni (1,264)
- 4meta5 (1)
- Atul9 (1)
- etiennebatise (1)
Top Issue Labels
- discussion (137)
- draft (84)
- easy (42)
- medium (36)
- hard (29)
- bug (12)
- Draft (9)
- information (7)
- Easy (4)
- Discussion (3)
- Information (2)
- Medium (2)