neilstrickland Goto Github PK
Name: Neil Strickland
Type: User
Company: University of Sheffield
Location: Sheffield, UK
Blog: strickland1.org
Name: Neil Strickland
Type: User
Company: University of Sheffield
Location: Sheffield, UK
Blog: strickland1.org
Interactive/animated/3D diagrams for algebraic topology
Interactive/animated diagrams for combinatorics
This repository contains Python code that is relevant for the MAS334 Combinatorics module at the Uinversity of Sheffield
Interactive/animated diagrams for a core maths course
Material for an undergraduate course on fields and Galois Theory
Repository for the project "Uniformization of embedded surfaces"
Material for an undergraduate course on symmetry groups
Iterated chromatic localisation
Jupyter Lite deployment
Material for an undergraduate course on knots and surfaces
A Windows installer for Lean and associated things
Various Lean developments
Proof in Lean that there are infinitely many primes
Shared space for the Sheffield Lean working group
Notes on Linear Mathematics, by Neil Strickland
An extensive library of Maple code
Lean mathematical components library
Material for a course on electrical engineering mathematics (mostly vector calculus)
Material for an undergraduate course on Maple mixed with calculus etc
Small exact neural network models
Material for an undergraduate course on very basic commutative algebra
Adaptive behaviour for multi-part questions. Initially intended for use with qtype_stack
Stack question type for Moodle
A Moodle quiz report with detailed analysis of responses to STACK questions
Material for a second course on ordinary differential equations
Javascript code for 2D and 3D mathematical diagrams
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.