gravatar for NeilStrickland

NeilStrickland NeilStrickland on Github

global / united kingdom / sheffield

Languages

9 total

LanguageReposStarsGlobalCountryLocality
all3634597,03918,951132
TeX11204,2501801
Lean610196161
HTML42379,7736,93283
JetBrains MPS127921
Jupyter Notebook30---
PHP60---
Python20---
JavaScript20---
unknown10---

Repos

36 total

RepoLanguageStarsRank
NeilStrickland/linear_maths on Githublinear_mathsTeX710,213
NeilStrickland/lean_primes on Githublean_primesLean4599
NeilStrickland/lean_lib on Githublean_libLean4597
NeilStrickland/fields_and_galois_theory on Githubfields_and_galois_theoryTeX319,894
NeilStrickland/itloc on GithubitlocLean2957
NeilStrickland/knots_and_surfaces on Githubknots_and_surfacesTeX227,452
NeilStrickland/modules on GithubmodulesTeX227,451
NeilStrickland/maths_for_electrical_engineering on Githubmaths_for_electrical_engineeringTeX227,447
NeilStrickland/maple_lib on Githubmaple_libJetBrains MPS296
NeilStrickland/genus2 on Githubgenus2TeX165,703

Badges

Get your badge to use on GitHub or websites using the code below

GlobalCountryLocality

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Country

Displays country rankings for all languages plus top two languages by stars

Preview

Locality

Displays locality rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-09-10T18:07:06.388362670Z Re-sync