@VegeBun-csjCurrent employee
- PRs merged
- 9
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Jan 27, 2022
- Last merge
- Jul 25, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
Back to Organizations
Dora Factory
Dora Factory develops full-stack infrastructure for Anonymous MACI (aMACI), a protocol for private, collusion-free community voting. Its World MACI platform and MACI XL release support privacy-preserving polling rounds for organizations and users.
Distributed
Maintainer signals as of Aug 10, 2026
Maintainer Intelligence
This view starts from the canonical internal-employee model. A maintainer is an internal employee who merged at least one pull request in a non-fork repository; external contributors, bots, and PR authors are not treated as causal. Active leads have merged within the last three months.
2
Current maintainers
2
Active leads
0
New active leads
0
Lead step-downs
0
Lead movements
0
Early lead departures
Signals as of Aug 10, 2026github.com/dorafactory
Maintainers (6)
Open GitHub profile ↗
@99KiesCurrent employee
- PRs merged
- 2
- Internal authors supported
- 2
- Currently active authors
- 1
- First merge
- Mar 7, 2022
- Last merge
- Jun 26, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@tari404Former employee
- PRs merged
- 2
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- May 25, 2021
- Last merge
- Oct 9, 2024
Early maintainer
Internal authors whose PRs they merged
@tinydjpFormer employee
- PRs merged
- 20
- Internal authors supported
- 2
- Currently active authors
- 2
- First merge
- Mar 30, 2022
- Last merge
- Sep 22, 2024
Early maintainer
Internal authors whose PRs they merged
@realfishFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Sep 21, 2023
- Last merge
- Sep 21, 2023
Early maintainer
Open GitHub profile ↗@zhangjiannanFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- May 10, 2021
- Last merge
- May 12, 2021
Early maintainer
Open GitHub profile ↗Maintainer Movements (0)
No maintainer movements on this page.