Languages
Developers
Countries
Repos
Topics
Repos by NeilStrickland
NeilStrickland
/ repos
36 repos
«
1
2
...
4
»
Repo
Language
Stars
Rank
linear_maths
TeX
7
10,212
lean_primes
Lean
4
599
lean_lib
Lean
4
597
fields_and_galois_theory
TeX
3
19,893
itloc
Lean
2
957
knots_and_surfaces
TeX
2
27,458
modules
TeX
2
27,457
maths_for_electrical_engineering
TeX
2
27,453
maple_lib
JetBrains MPS
2
96
genus2
TeX
1
65,716