Highlights
- Pro
Popular repositories Loading
-
AgileWebDevDemo
AgileWebDevDemo PublicExample code for showing the awesomeness of web dev
-
-
agda-routing
agda-routing PublicAn Agda library for reasoning about asynchronous iterative algorithms and network routing problems
-
UKRacketlon
UKRacketlon PublicJoomla template and custom components for the UK Racketlon website (www.racketlon.co.uk)
286 contributions in the last year
Skip to contributions year listDay of Week | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
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
Contribution activity
July 2025
Created 7 commits in 2 repositories
Reviewed 11 pull requests in 3 repositories
agda/agda-stdlib
9 pull requests
-
Add
Algebra.Action.*
and friendsThis contribution was made on Jul 3 -
Lemmata for
if_then_else_
This contribution was made on Jul 2 -
[ refactor ]
Data.Fin.Properties
of decidable equality, plus knock-onsThis contribution was made on Jul 2 -
[ add ] Choudhury and Fiore's alternative definition of
Permutation
forSetoid
sThis contribution was made on Jul 2 -
[ refactor ] (more) decidable
Data.Fin.Properties
This contribution was made on Jul 2 -
[Add] Consequences of associativity for
Semigroup
sThis contribution was made on Jul 2 -
[ refactor ] Restate, and use, the definitions of
Monotonic
etc. operationsThis contribution was made on Jul 2 -
Adds Algebra.Morphism.Construct.DirectProduct
This contribution was made on Jul 2
-
Proved sorted permutations are equal
This contribution was made on Jul 2
VNNLIB/VNNLIB-Standard
1 pull request
-
Optional onnx name and updated notation for tensor shapes and indices
This contribution was made on Jul 3
vehicle-lang/vehicle
1 pull request
-
Rocq Backend
This contribution was made on Jul 1
Opened 1 issue in 1 repository
vehicle-lang/vehicle
1
open
-
Better reporting of unbounded input variables
This contribution was made on Jul 1