jamesa9283 Goto Github PK

adventofcode

adventofcode2020

adventofcode2021

algebraengine

climate-analysis

comp110-worksheet-3

Base repository for COMP110 worksheet 3 (flowcharts and pseudocode)

converters

Unit converters written in C++

covid-models

Adapted code from the PyData Webinar w/ Ben Sparks

creatvity-cards

Team 2 Repositiory for Creativity Cards

drfosterbot

A bot that just makes up Dr Foster rhymes for the NT twitter account.

ecm1905_advanced_calculus

ecm2903_differential-equations_notes

ecm2908_vector_calculus_notes

emf2022talkslides

exetermathsnotes

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.

exleanbot

A discord bot designed to suit every need of the University of Exeter LEAN Discord Server.

extramathsstuff

fimpopulationconservation

forier-animation

All Projects written in Java Script on Processing/p5.js. Projects all based around the Complex Analysis method of Fourier Series

gam110-gamejam

games-cpp

All Projects written in C++, these projects are simple games I've created.

gammastirlingsforlean

generalised-trigonometric-functions-for-lean

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.

gyrovectors-lean

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.

invhyptrig

jamesa9283

jamesa9283.github.io

latex-snippets

Vim + LaTeX snippets setup

lean-areaofacircle

leanfilesfortalks