Skip to content
View jamesa9283's full-sized avatar
😃
Writing Numerical Mathematics
😃
Writing Numerical Mathematics
12 followers · 9 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

Block or report jamesa9283

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
jamesa9283/README.md

Hi 👋

I am a Full Stack Web Developer at JASites and a Mathematician.

  • 🔭 I’m currently working on proof verification in Lean.
  • 🌱 I’m currently learning more about ionic for app development.
  • 🤝 I’m looking to collaborate on mathematical programming projects.

James' Github Stats

Pinned

  1. COVID-Models COVID-Models Public

    Adapted code from the PyData Webinar w/ Ben Sparks

    Python

  2. ExLeanBot ExLeanBot Public

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

    JavaScript 1 1

  3. ExeterMathsNotes ExeterMathsNotes Public

    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 o…

    TeX

  4. MastersThesis MastersThesis Public

    TeX 1