Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / advancedresearch issue stats
Total issues: 275
Total pull requests: 1,242
Merged pull request: 1,241
Average time to close issues: 2 months
Average time to close pull requests: 5 minutes
Average comments per issue: 0.47
Average comments per pull request: 0.01
Issues created
- advancedresearch/pocket_prover: 39
- advancedresearch/hooo: 36
- advancedresearch/avalog: 34
- advancedresearch/joker_calculus: 34
- advancedresearch/poi: 28
- advancedresearch/last_order_logic: 22
- advancedresearch/avatar_graph: 18
- advancedresearch/discrete: 17
- advancedresearch/monotonic_solver: 8
- advancedresearch/linear_solver: 6
- advancedresearch/algexenotation: 5
- 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: 296
- advancedresearch/pocket_prover: 155
- advancedresearch/prop: 121
- advancedresearch/poi: 88
- advancedresearch/last_order_logic: 71
- advancedresearch/avalog: 71
- advancedresearch/algexenotation: 65
- 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 (248, 90.18%)
- Collaborator (22, 8.00%)
- None (5, 1.82%)
Pull Request owner Associations
- Contributor (1,154, 92.91%)
- Collaborator (87, 7.00%)
- None (1, 0.08%)
Top Issue Authors
- bvssvni (270)
- epurdy (3)
- mfil (1)
- zbraniecki (1)
Top Pull Request Authors
- bvssvni (1,239)
- 4meta5 (1)
- Atul9 (1)
- etiennebatise (1)
Top Issue Labels
- discussion (136)
- draft (83)
- easy (40)
- medium (35)
- hard (29)
- bug (11)
- Draft (9)
- information (6)
- Easy (4)
- Discussion (3)
- Information (2)
- Medium (2)