Engineering archive · public GitHub evidence
Contributions.
Evidence, not just a list.
Merged work, proposals in progress and closed contributions — each linked to its source. Merge status does not imply production deployment.
870 results · Page 25 of 29
Own-project engineering
AyobamiH/proof-and-state · #13
MergedChecked 2026-10-30
Merged 2026-09-01
Own-project engineering
AyobamiH/proof-and-state · #12
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/proof-and-state · #11
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/proof-and-state · #10
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/proof-and-state · #9
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/donestate · #49
MergedChecked 2026-10-30
Merged 2026-08-30
Upstream contribution
lloyds-banking-group/Agent-Scanner · #1
OpenChecked 2026-10-30
Own-project engineering
AyobamiH/proof-and-state · #8
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/proof-and-state · #7
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/proof-and-state · #6
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/opstruth · #16
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/tax-lien-intelligence-platform · #1
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/proof-and-state · #5
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/proof-and-state · #4
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/opstruth · #15
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/proof-and-state · #3
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/opstruth · #14
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/opstruth · #13
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/proof-and-state · #2
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/donestate · #27
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/donestate · #26
MergedChecked 2026-10-30
Merged 2026-08-30
Own-project engineering
AyobamiH/proof-and-state · #1
MergedChecked 2026-10-30
Merged 2026-08-29
Own-project engineering
AyobamiH/agentproof · #4
MergedChecked 2026-10-30
Merged 2026-08-28
Own-project engineering
AyobamiH/agentproof · #3
MergedChecked 2026-10-30
Merged 2026-08-28
Own-project engineering
AyobamiH/agentproof · #2
MergedChecked 2026-10-30
Merged 2026-08-28
Own-project engineering
AyobamiH/donestate · #5
Closed, not mergedChecked 2026-10-30
Upstream contribution
NHSDigital/software-engineering-quality-framework · #380
OpenChecked 2026-10-30
Own-project engineering
AyobamiH/software-engineering-quality-framework · #1
Closed, not mergedChecked 2026-10-30
Upstream contribution
NHSDigital/software-engineering-quality-framework · #379
OpenChecked 2026-10-30
Upstream contribution
nhsuk/nhsapp-frontend · #575
OpenChecked 2026-10-30