@dusan-maksimovicCurrent employee
- PRs merged
- 17
- Internal authors supported
- 4
- Currently active authors
- 2
- First merge
- Apr 9, 2024
- Last merge
- Aug 7, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
Back to Organizations
Informal Systems
Informal Systems is a remote-first company builder and incubator focused on fostering trust in software and money. It stewards and supports Quint, an executable-specification tool for verifying software behavior, and Cycles, infrastructure for multilateral financial clearing.
Distributed
6 current maintainers5 active leads2 new active leads2 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
5
Active leads
2
New active leads
2
Lead step-downs
0
Lead movements
1
Early lead departures
Signals as of Aug 10, 2026github.com/informalsystems
Maintainers (70)
Open GitHub profile ↗
@p-offtermattCurrent employee
- PRs merged
- 63
- Internal authors supported
- 8
- Currently active authors
- 3
- First merge
- Nov 29, 2022
- Last merge
- Aug 6, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@arlai-mkCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Nov 13, 2025
- Last merge
- Jul 3, 2026
Active lead
Open GitHub profile ↗@josef-widderCurrent employee
- PRs merged
- 11
- Internal authors supported
- 7
- Currently active authors
- 0
- First merge
- Mar 26, 2020
- Last merge
- Jun 17, 2026
Active leadEarly maintainer
Internal authors whose PRs they merged
@dcgr11Current employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Mar 20, 2025
- Last merge
- Jun 5, 2026
Active lead
Open GitHub profile ↗@crodriguezvegaCurrent employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Apr 2, 2025
- Last merge
- Apr 2, 2025
@erickpintorFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Dec 19, 2025
- Last merge
- Feb 11, 2026
@mpokeFormer employee
- PRs merged
- 6
- Internal authors supported
- 4
- Currently active authors
- 0
- First merge
- Aug 23, 2022
- Last merge
- Feb 11, 2026
Early maintainer
Internal authors whose PRs they merged
@rnbguyFormer employee
- PRs merged
- 55
- Internal authors supported
- 15
- Currently active authors
- 1
- First merge
- Aug 23, 2021
- Last merge
- Feb 10, 2026
Early maintainer
Internal authors whose PRs they merged
@jmalicevicFormer employee
- PRs merged
- 2
- Internal authors supported
- 2
- Currently active authors
- 0
- First merge
- Oct 31, 2024
- Last merge
- Feb 6, 2026
Internal authors whose PRs they merged
@ljoss17Former employee
- PRs merged
- 27
- Internal authors supported
- 8
- Currently active authors
- 1
- First merge
- May 31, 2022
- Last merge
- Feb 4, 2026
Internal authors whose PRs they merged
@srypsFormer employee
- PRs merged
- 6
- Internal authors supported
- 5
- Currently active authors
- 0
- First merge
- Jul 3, 2023
- Last merge
- Jan 26, 2026
Early maintainer
Internal authors whose PRs they merged
@kirdatatjanaFormer employee
- PRs merged
- 1
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- Sep 29, 2025
- Last merge
- Jan 22, 2026
Internal authors whose PRs they merged
@aaronmwFormer employee
- PRs merged
- 30
- Internal authors supported
- 2
- Currently active authors
- 1
- First merge
- Oct 18, 2024
- Last merge
- Jan 15, 2026
@bastienfaivreFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Dec 17, 2025
- Last merge
- Dec 23, 2025
@hu55a1n1Former employee
- PRs merged
- 48
- Internal authors supported
- 13
- Currently active authors
- 0
- First merge
- Jul 29, 2021
- Last merge
- Dec 11, 2025
Early maintainer
Internal authors whose PRs they merged
@MSalopekFormer employee
- PRs merged
- 7
- Internal authors supported
- 3
- Currently active authors
- 0
- First merge
- Oct 17, 2024
- Last merge
- Oct 14, 2025
@stana-miricFormer employee
- PRs merged
- 2
- Internal authors supported
- 1
- Currently active authors
- 0
- First merge
- May 16, 2024
- Last merge
- Oct 7, 2025
Internal authors whose PRs they merged
@NikolaBogdanovic95Former employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Aug 5, 2025
- Last merge
- Sep 26, 2025
@gjermundgarabaFormer employee
- PRs merged
- 0
- Internal authors supported
- 0
- Currently active authors
- 0
- First merge
- Sep 3, 2025
- Last merge
- Sep 23, 2025
Maintainer Movements (20)
@ancazamfir moved lead merge authority to Circle.
Confirmed Feb 4, 2026 · Observed · Early maintainer
Last source merge Sep 28, 2024 · First destination merge Feb 4, 2026
@mircea-c moved lead merge authority to Anza.
Confirmed Jan 23, 2026 · Observed
Last source merge Nov 8, 2024 · First destination merge Jan 23, 2026
@Farhad-Shabani moved lead merge authority to Succinct.
Confirmed Dec 5, 2025 · Observed · Early maintainer
Last source merge Sep 5, 2025 · First destination merge Oct 17, 2025
@hvanz moved lead merge authority to Circle.
Confirmed Feb 11, 2025 · Observed · Early maintainer
Last source merge Apr 11, 2024 · First destination merge Feb 11, 2025
@adizere moved lead merge authority to Circle.
Confirmed Dec 17, 2024 · Observed
Last source merge Mar 26, 2024 · First destination merge Dec 17, 2024
@greg-szabo moved lead merge authority to Circle.
Confirmed Jun 20, 2024 · Observed · Early maintainer
Last source merge Sep 15, 2023 · First destination merge Jun 20, 2024
@danwt moved lead merge authority to Dymension.
Confirmed May 2, 2024 · Observed · Early maintainer
Last source merge Mar 31, 2022 · First destination merge May 2, 2024
@ebuchman moved lead merge authority to Celestia Foundation.
Confirmed Apr 3, 2024 · Observed · Early maintainer
Last source merge Mar 30, 2022 · First destination merge Apr 3, 2024
@hvanz moved lead merge authority to Circle.
Confirmed Feb 9, 2024 · Observed · Early maintainer
Last source merge Nov 9, 2023 · First destination merge Dec 7, 2023
@plafer moved lead merge authority to Miden.
Confirmed Dec 22, 2023 · Observed · Early maintainer
Last source merge Sep 22, 2023 · First destination merge Oct 17, 2023
@josef-widder moved lead merge authority to Circle.
Confirmed Dec 19, 2023 · Observed · Early maintainer
Last source merge Sep 19, 2023 · First destination merge Oct 25, 2023
@ancazamfir moved lead merge authority to Circle.
Confirmed Oct 25, 2023 · Observed · Early maintainer
Last source merge May 29, 2023 · First destination merge Oct 25, 2023
@liamsi moved lead merge authority to Celestia Foundation.
Confirmed Oct 21, 2023 · Observed
Last source merge Jun 25, 2020 · First destination merge Oct 21, 2023
@tac0turtle moved lead merge authority to Tendermint.
Confirmed Jul 29, 2022 · Observed
Last source merge Sep 30, 2021 · First destination merge Jul 29, 2022
@josef-widder moved lead merge authority to Tendermint.
Confirmed Jul 15, 2022 · Observed · Early maintainer
Last source merge Jul 30, 2021 · First destination merge Jul 15, 2022
@thanethomson moved lead merge authority to Tendermint.
Confirmed Apr 19, 2022 · Observed · Early maintainer
Last source merge Jan 19, 2022 · First destination merge Mar 2, 2022
@ebuchman moved lead merge authority to Tendermint.
Confirmed May 7, 2021 · Observed · Early maintainer
Last source merge Jan 20, 2021 · First destination merge May 7, 2021
@tac0turtle moved lead merge authority to Celestia Foundation.
Confirmed Apr 20, 2021 · Observed
Last source merge Jan 20, 2021 · First destination merge Feb 5, 2021
@brapse moved lead merge authority to Tendermint.
Confirmed Feb 2, 2021 · Observed
Last source merge Nov 2, 2020 · First destination merge Dec 18, 2020
@greg-szabo moved lead merge authority to Interchain Foundation.
Confirmed May 14, 2020 · Observed · Early maintainer
Last source merge Feb 14, 2020 · First destination merge Apr 20, 2020