@PaulLauxCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Mar 11, 2019
- Last merge
- Aug 6, 2026
Active leadEarly maintainer
Open GitHub profile ↗Back to Organizations
QEDIT
QEDIT is an applied cryptography firm providing security audits, cryptographic protocol design, formal verification, and research. It serves organizations building privacy-preserving and blockchain systems that secure real value.
Tel-Aviv - Yafo, Israel
Current stage: Series A6 current maintainers4 active leads2 new active leads3 lead step-downs1 early lead departure
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.
6
Current maintainers
4
Active leads
2
New active leads
3
Lead step-downs
0
Lead movements
1
Early lead departures
Signals as of Aug 10, 2026github.com/qed-it
Maintainers (16)
@AntoineRondeletCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jul 12, 2026
- Last merge
- Jul 28, 2026
Active lead
Open GitHub profile ↗@jonmrjrCurrent employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Feb 11, 2025
- Last merge
- Jul 16, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@ronkqCurrent employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- May 18, 2026
- Last merge
- May 25, 2026
Active lead
Internal authors whose PRs they merged
@yanivravehCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Dec 9, 2025
- Last merge
- Dec 9, 2025
@dmidemCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Nov 5, 2025
- Last merge
- Nov 5, 2025
@seniakalmaFormer employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 1
- First merge
- Jul 29, 2024
- Last merge
- May 6, 2026
Internal authors whose PRs they merged
@vivek-arteFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Jun 3, 2025
- Last merge
- May 4, 2026
@alexeykorenFormer employee
- PRs merged
- 3
- Internal authors supported
- 2
- Currently active authors
- 2
- First merge
- Feb 12, 2024
- Last merge
- Mar 11, 2026
Early maintainer
Open GitHub profile ↗@zaid-khFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Sep 11, 2024
- Last merge
- Sep 18, 2024
Early maintainer
Open GitHub profile ↗@Hussain-AboAlamalFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Sep 14, 2024
- Last merge
- Sep 18, 2024
@Michael-QeditFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Nov 26, 2020
- Last merge
- Jul 21, 2021
@naureFormer employee
- PRs merged
- 7
- Internal authors supported
- 5
- Currently active authors
- 1
- First merge
- Feb 15, 2019
- Last merge
- Mar 8, 2021
Early maintainer
Internal authors whose PRs they merged
@tronch0Former employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Feb 27, 2019
- Last merge
- Nov 14, 2019
Early maintainer
Internal authors whose PRs they merged
@amitizleFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Mar 13, 2019
- Last merge
- Mar 27, 2019
@kobigurkFormer employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Jan 15, 2019
- Last merge
- Jan 15, 2019
Early maintainer
Internal authors whose PRs they merged
Maintainer Movements (3)
@tronch0 moved lead merge authority to Privado ID.
Confirmed Nov 11, 2022 · Observed · Early maintainer
Last source merge Nov 14, 2019 · First destination merge Nov 11, 2022
@naure moved lead merge authority to Cere Network.
Confirmed Jul 1, 2021 · Observed · Early maintainer
Last source merge Mar 8, 2021 · First destination merge Jul 1, 2021
@kobigurk moved lead merge authority to Celo.
Confirmed Jun 11, 2019 · Observed · Early maintainer
Last source merge Jan 15, 2019 · First destination merge Jun 11, 2019