Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / hengxin issue stats
Total issues: 214
Total pull requests: 12
Merged pull request: 11
Average time to close issues: about 2 months
Average time to close pull requests: about 1 hour
Average comments per issue: 0.44
Average comments per pull request: 0.58
Issues created
- hengxin/tlaplus-at-nju-disalg: 56
- hengxin/chameleon-transactional-kvstore: 39
- hengxin/consistencychecking: 20
- hengxin/distributed-mobile-memo: 17
- courses-at-nju-by-hfwei/problem-solving-class-problems: 12
- hengxin/tla-causal-consistency: 10
- courses-at-nju-by-hfwei/2-if-for-array: 9
- hengxin/distributed-consensus: 6
- hengxin/rvsi-srds-2017-hk: 6
- tangruize/jupiter-experiments: 6
- courses-at-nju-by-hfwei/problem-solving-class-coq: 4
- starydark/paxosstore-tla: 4
- hengxin/timekiller-artifact: 4
- courses-at-nju-by-hfwei/discrete-math-problem-sets: 2
- courses-at-nju-by-hfwei/problem-solving-class-problem-solution: 2
- hengxin/tla2tex: 2
- hengxin/tla-realtime-is-really-simple: 2
- hengxin/jupiter-refinement-project: 2
- courses-at-nju-by-hfwei/discrete-math-lectures: 1
- hengxin/tlaplus-pluscal-utils: 1
- mryndzionek/tlaplus_specs: 1
- courses-at-nju-by-hfwei/cpl-coding-1: 1
- hengxin/awesome-dbs: 1
- antlr/antlr4: 1
- hengxin/tladevelop: 1
- edemaine/reveal-pug-talk: 1
- hengxin/evalsys: 1
- hengxin/cheat-sheets: 1
- courses-at-nju-by-hfwei/cpl-lectures: 1
Pull requests created
Maintainer
- hengxin/tlaplus-at-nju-disalg: 56
- hengxin/chameleon-transactional-kvstore: 39
- hengxin/consistencychecking: 20
- hengxin/distributed-mobile-memo: 17
- courses-at-nju-by-hfwei/problem-solving-class-problems: 12
- hengxin/tla-causal-consistency: 10
- starydark/paxosstore-tla: 9
- tangruize/jupiter-experiments: 6
- hengxin/rvsi-srds-2017-hk: 6
- hengxin/distributed-consensus: 6
- hengxin/timekiller-artifact: 4
- courses-at-nju-by-hfwei/problem-solving-class-coq: 4
- hengxin/tla2tex: 2
- hengxin/tla-realtime-is-really-simple: 2
- hengxin/jupiter-refinement-project: 2
Active Maintainer
Issue Author Associations
- Owner (169, 78.97%)
- Collaborator (28, 13.08%)
- Contributor (14, 6.54%)
- None (3, 1.40%)
Pull Request Author Associations
- Contributor (7, 58.33%)
- Collaborator (5, 41.67%)
Top Issue Labels
- todo (83)
- refactor (57)
- model check (41)
- question (33)
- bug (26)
- test (25)
- enhancement (23)
- help wanted (16)
- Rearrangement (16)
- doc (15)
- priority:high (14)
- priority:normal (14)
- checklist (11)
- priority:low (8)
- performance (8)
Top Pull Request Labels
- updateconf (3)
- ready-to-merge (2)