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)
formal-verification10
agda10
type-theory10
algebra9
mathematics8
math8
Programming languages (12)
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:16 releases, 1125 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.
agda
vehicle-lang/vscode-vehicle-syntax-highlighting
Jul 2022 - Jun 2026
VSCode Syntax Highlighting for Vehicle
Contributions:1 PR, 1 push, 1 branch in 3 years 11 months
vscodevscode-extensionsqfvehiclehighlighting
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.