@gabriel-barrettCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Apr 27, 2021
- Last merge
- Aug 8, 2026
Active leadEarly maintainer
Open GitHub profile ↗Back to Organizations
Argument Computer Corporation
Argument Computer Corporation specializes in advanced cryptography and formal methods. They are developing tools like the Yatima compiler to compress formal proofs into succinct zero-knowledge proofs, targeting applications within the blockchain and crypto space.
Distributed
4 current maintainers4 active leads
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.
4
Current maintainers
4
Active leads
0
New active leads
0
Lead step-downs
0
Lead movements
0
Early lead departures
Signals as of Aug 10, 2026github.com/argumentcomputer
Maintainers (17)
@arthurpaulinoCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- May 10, 2022
- Last merge
- Aug 7, 2026
Active leadEarly maintainer
Open GitHub profile ↗@johnchandlerburnhamCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jan 13, 2021
- Last merge
- Aug 7, 2026
Active leadEarly maintainer
Open GitHub profile ↗@samuelburnhamCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 17, 2021
- Last merge
- Aug 7, 2026
Active leadEarly maintainer
Open GitHub profile ↗@storojs72Former employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 20, 2024
- Last merge
- Aug 7, 2025
@tchataignerFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 11, 2024
- Last merge
- Nov 18, 2024
Early maintainer
Open GitHub profile ↗@huitseekerFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jul 18, 2023
- Last merge
- Nov 14, 2024
Early maintainer
Open GitHub profile ↗@mpenciakFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- May 25, 2022
- Last merge
- Nov 7, 2024
Early maintainer
Open GitHub profile ↗@wwaredFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 15, 2024
- Last merge
- Oct 28, 2024
Early maintainer
Open GitHub profile ↗@porcuquineFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Aug 15, 2024
- Last merge
- Aug 15, 2024
@ixahedronFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Aug 4, 2022
- Last merge
- Apr 25, 2023
@winston-h-zhangFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 13, 2022
- Last merge
- Apr 11, 2023
@DanielRrrFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 14, 2022
- Last merge
- Apr 6, 2023
Early maintainer
Open GitHub profile ↗@cognivoreFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 6, 2022
- Last merge
- Mar 27, 2023
Early maintainer
Open GitHub profile ↗@rish987Former employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- May 20, 2022
- Last merge
- Jan 11, 2023
@AnderssorbyFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jan 25, 2021
- Last merge
- Feb 27, 2022
Early maintainer
Open GitHub profile ↗@brightly-saltyFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 3, 2021
- Last merge
- Jul 8, 2021
Early maintainer
Open GitHub profile ↗Maintainer Movements (2)
@huitseeker moved lead merge authority to Miden.
Confirmed Aug 15, 2025 · Observed · Early maintainer
Last source merge Nov 14, 2024 · First destination merge Aug 15, 2025
@mpenciak moved lead merge authority to reilabs.io.
Confirmed Feb 7, 2025 · Observed · Early maintainer
Last source merge Nov 7, 2024 · First destination merge Jan 8, 2025