Rankings
Badges
/
NeilStrickland
Rankings
Badges
Overview
Ranks
Repositories
Languages
Neil Strickland
@NeilStrickland
Refresh
Open GitHub
🇬🇧 Sheffield, UK
University of Sheffield
Profile age: over 13 years
Updated 7 days ago
28 followers • 0 following
Contacts
N.P.Strickland@sheffield.ac.uk
strickland1.org
https://mathoverflow.net/users/10366
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in UK
Adept 5
Persona
Influencer
#24,860
#31,677
#15,717
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
linear_maths
9
4
updated almost 2 years ago • age about 6 years
TeX
99.6%
JetBrains MPS
0.4%
combinatorics_diagrams
1
0
updated about 1 year ago • age almost 6 years
HTML
76.0%
JavaScript
19.5%
TeX
2.9%
PHP
0.8%
CSS
0.8%
lean_working_group
0
0
updated over 6 years ago • age over 6 years
Lean
100.0%
mathlib
0
0
updated about 6 years ago • age over 6 years
Lean
99.9%
Shell
0.1%
studio
0
0
updated about 5 years ago • age about 5 years
PHP
65.8%
TSQL
34.2%
Last Contributions
2021
moodle-qtype_stack
1 PR
+15
-27
PHP
154
162
2019
mathlib3
2 PRs
+634
-73
Lean
1,668
292
View all contributions
Latest Updates
31 Aug 2025
Followers Count:
27
28
16 Jan 2025
First seen
Subscribe to NeilStrickland's GitHub rank updates in your messenger
WhatsApp
Telegram
