James Arthur's Projects
Base repository for COMP110 worksheet 3 (flowcharts and pseudocode)
Unit converters written in C++
Adapted code from the PyData Webinar w/ Ben Sparks
Team 2 Repositiory for Creativity Cards
A bot that just makes up Dr Foster rhymes for the NT twitter account.
From September 2019 to June 2022, I studied at the University of Exeter. During this time I studied Mathematics on Penryn Campus, a course that would be cut at the end of my first year. I am part of the last cohort of this programme. Here are some notes from the courses I took during my time at Penryn.
A discord bot designed to suit every need of the University of Exeter LEAN Discord Server.
All Projects written in Java Script on Processing/p5.js. Projects all based around the Complex Analysis method of Fourier Series
All Projects written in C++, these projects are simple games I've created.
This a summer project as part of the Xena Project's summer project sessions ran in the summer of 2020. That was a lot of summers! I am formalising and placing the generalised trigonometric functions into Lean and proving simple lemmas about them.
This is a package, currently under production, that allow the use of gyrovectors and gyrogroups in lean. These can be used to define general relativity, and they will be, eventually.
Vim + LaTeX snippets setup