A list of open source projects I work on or have worked on in some way. You can really just visit my github page TBH. This is just a partial list as I’m too lazy to move some of my repos onto github at this moment.
Arbitraryinstances and property tests for the linear package.
(most of these have their own page on my website, this is just a partial list too)