Matthew Daggitt
Tewttw at tetrwe
Canada
Summary
🤩
RockstarMatthew Daggitt is a software engineer based in Canada with 11 years of professional experience, currently working at tetrwe in a role titled Tewttw. He contributes to the Agda standard library as a back-end developer and maintainer, focusing on bug fixes, refactors, and proof improvements—indicating strong skills in formal methods and careful, correctness-driven development. Matthew blends practical engineering with attention to mathematical rigor, reorganizing algebraic structures and modernizing deprecated code. His profile suggests a developer comfortable working deep in codebases that require precise reasoning and long-term maintainability. He brings a quiet specialization in functional or proof-oriented tooling that often sits behind the scenes but materially improves ecosystem reliability.
11 years of coding experience
Github Skills (6)
agda10
formal-verification10
type-theory10
algebra9
mathematics8
math8
Programming languages (11)
Github contributions (5)
agda/agda-stdlib
May 2016 - Jan 2023
The Agda standard library
Role in this project:
Back-end Developer & Code Maintainer
Back-end Developer & Code MaintainerContributions:15 releases, 1055 reviews, 830 commits in 6 years 9 months
Contributions summary:Matthew made several contributions to the Agda standard library, including fixing bugs and deprecated code. They worked on refactoring the code base, such as moving and reorganising existing algebraic structures. These commits also involved updating and improving proofs, suggesting the user is involved with the internal workings of the library.
dependent-typesagdahomotopy-type-theorystandard-library
MatthewDaggitt/agda-routing
Jan 2017 - Apr 2022
Contributions:215 commits, 160 pushes, 18 branches in 5 years 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.