@lockedloopFormer employee
- PRs merged
- 4
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Sep 6, 2025
- Last merge
- Sep 10, 2025
Internal authors whose PRs they merged
Back to Organizations
Irreducible Inc.
Irreducible Inc. develops advanced cryptography for sovereignty, privacy, and a verifiable internet. It invented and leads development of Binius, an open-source zero-knowledge proof system, but its website states that the company is shutting down.
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.
0
Current maintainers
0
Active leads
0
New active leads
0
Lead step-downs
0
Lead movements
0
Early lead departures
Signals as of Aug 10, 2026github.com/irreducibleoss
Maintainers (13)
Open GitHub profile ↗
@jimpoFormer employee
- PRs merged
- 113
- Internal authors supported
- 10
- Currently active authors
- 0
- First merge
- Mar 24, 2025
- Last merge
- Sep 9, 2025
Internal authors whose PRs they merged
@fkondejFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Apr 3, 2025
- Last merge
- Sep 9, 2025
Early maintainer
Open GitHub profile ↗@paulcadmanFormer employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- May 12, 2025
- Last merge
- Sep 5, 2025
Early maintainer
Internal authors whose PRs they merged
@benediamondFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 16, 2025
- Last merge
- Jul 24, 2025
@jkirmayerFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 9, 2025
- Last merge
- Jun 11, 2025
Early maintainer
Open GitHub profile ↗@pepyakinFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- May 1, 2025
- Last merge
- Jun 11, 2025
@BenjaminTrapaniFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Apr 23, 2025
- Last merge
- Jun 10, 2025
@dyasnyFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Feb 27, 2025
- Last merge
- Jun 4, 2025
Early maintainer
Open GitHub profile ↗@GraDKhFormer employee
- PRs merged
- 2
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Mar 5, 2025
- Last merge
- May 30, 2025
Early maintainer
Open GitHub profile ↗@HiddenAndBoundFormer employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- May 27, 2025
- Last merge
- May 27, 2025
Internal authors whose PRs they merged
@oneskFormer employee
- PRs merged
- 4
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Feb 7, 2025
- Last merge
- May 13, 2025
Internal authors whose PRs they merged
@milosbackonjaFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Feb 6, 2025
- Last merge
- Apr 28, 2025
Early maintainer
Open GitHub profile ↗Maintainer Movements (2)
@fkondej moved lead merge authority to Flashbots.
Confirmed Mar 3, 2026 · Observed · Early maintainer
Last source merge Sep 9, 2025 · First destination merge Mar 3, 2026
@pepyakin moved lead merge authority to Tempo.
Confirmed Feb 10, 2026 · Observed
Last source merge Jun 11, 2025 · First destination merge Feb 10, 2026