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.
788 results · Page 24 of 27
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
Own-project engineering
AyobamiH/software-engineering-quality-framework · #1
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/nhsuk-frontend · #3
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/nhsuk-frontend · #2
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/nhsuk-frontend · #1
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/framework · #1
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/workflow · #1
DraftChecked 2026-10-30
Own-project engineering
AyobamiH/Numbas · #1
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/opstruth · #11
MergedChecked 2026-10-30
Merged 2026-08-25
Own-project engineering
AyobamiH/pydantic-ai-harness · #1
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/sandbox · #1
DraftChecked 2026-10-30
Own-project engineering
AyobamiH/StudyMap · #11
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/StudyMap · #10
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/StudyMap · #9
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/reticle · #7
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/reticle · #8
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/StudyMap · #8
Closed, not mergedChecked 2026-10-30
Own-project engineering
AyobamiH/phoenix · #3
Closed, not mergedChecked 2026-10-30