Issues created

• hengxin/tlaplus-at-nju-disalg: 56
• hengxin/chameleon-transactional-kvstore: 39
• hengxin/consistencychecking: 20
• hengxin/distributed-mobile-memo: 17
• hengxin/tla-causal-consistency: 10
• tangruize/jupiter-experiments: 6
• hengxin/distributed-consensus: 6
• hengxin/rvsi-srds-2017-hk: 6
• hengxin/timekiller-artifact: 4
• hengxin/jupiter-refinement-project: 2
• hengxin/tla2tex: 2
• hengxin/tla-realtime-is-really-simple: 2
• hengxin/awesome-dbs: 1
• hengxin/tladevelop: 1
• hengxin/evalsys: 1
• hengxin/cheat-sheets: 1
• hengxin/tlaplus-pluscal-utils: 1
• mryndzionek/tlaplus_specs: 1
• edemaine/reveal-pug-talk: 1
• courses-at-nju-by-hfwei/cpl-coding-1: 1
• courses-at-nju-by-hfwei/cpl-lectures: 1
• antlr/antlr4: 1

Pull requests created

• courses-at-nju-by-hfwei/cpl-coding-1: 3
• ccfddl/ccf-deadlines: 3
• courses-at-nju-by-hfwei/cpl-coding-2: 1

Maintainer

• hengxin/tlaplus-at-nju-disalg: 56
• hengxin/chameleon-transactional-kvstore: 39
• hengxin/consistencychecking: 20
• hengxin/distributed-mobile-memo: 17
• hengxin/tla-causal-consistency: 10
• hengxin/distributed-consensus: 6
• hengxin/rvsi-srds-2017-hk: 6
• tangruize/jupiter-experiments: 6
• hengxin/timekiller-artifact: 4
• hengxin/tla-realtime-is-really-simple: 2
• hengxin/tla2tex: 2
• hengxin/jupiter-refinement-project: 2
• hengxin/tlaplus-pluscal-utils: 1
• hengxin/cheat-sheets: 1
• hengxin/evalsys: 1

Active Maintainer

Issue Author Associations

• Owner (169, 93.89%)
• Collaborator (6, 3.33%)
• None (3, 1.67%)
• Contributor (2, 1.11%)

Pull Request Author Associations

• Contributor (7, 100.00%)

Top Issue Labels

• todo (83)
• refactor (57)
• model check (41)
• question (28)
• test (25)
• enhancement (22)
• bug (20)
• Rearrangement (16)
• priority:normal (14)
• priority:high (14)
• doc (13)
• checklist (11)
• performance (8)
• priority:low (8)
• help wanted (6)

Top Pull Request Labels

• updateconf (3)
• ready-to-merge (2)