Skip to content
View MatthewDaggitt's full-sized avatar
100 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@Curtin-Timescales-of-Mineral-Systems

Block or report MatthewDaggitt

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. AgileWebDevDemo AgileWebDevDemo Public

    Example code for showing the awesomeness of web dev

    Python 37 4

  2. AgileWebDev2025 AgileWebDev2025 Public

    Python 36 2

  3. agda-routing agda-routing Public

    An Agda library for reasoning about asynchronous iterative algorithms and network routing problems

    Agda 27 4

  4. AshCalc AshCalc Public

    Python modules for calculating Exponential, Power law and Weibull distributions

    Python 6 6

  5. Oponn Oponn Public

    Monte-Carlo Tree Search based Risk Agent for Lux Deluxe

    Java 4 1

  6. UKRacketlon UKRacketlon Public

    Joomla template and custom components for the UK Racketlon website (www.racketlon.co.uk)

    PHP 1 1

256 contributions in the last year

Contribution Graph
Day of Week June July August September October November December January February March April May June
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Activity overview

Contributed to agda/agda-stdlib, vehicle-lang/vehicle, MatthewDaggitt/AgileWebDev2025 and 7 other repositories
Loading A graph representing MatthewDaggitt's contributions from June 16, 2024 to June 17, 2025. The contributions are 43% code review, 33% commits, 18% pull requests, 6% issues.

Contribution activity

June 2025

Created 4 commits in 2 repositories

Created a pull request in agda/agda-stdlib that received 36 comments

Some preparatory proofs for proving sorting+permutation is equality #2724

I've been sniped by #2723. This is a preparatory PR for the full proof that sorting two lists that are permutations of each other result in equal l…

+184 −63 lines changed • 36 comments
Opened 4 other pull requests in 3 repositories
Reviewed 7 pull requests in 1 repository

Created an issue in agda/agda that received 1 comment

Supporting misfix notation for function arrows

Is there any technical reason in the parser why we couldn't use misfix notation with function arrows? e.g. test : Set → Set → Set test = _→_ This f…

1 comment
Loading