Rankings
Badges
/
jonsterling
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jon Sterling
@jonsterling
Refresh
Open GitHub
🇬🇧 Cambridge, Cambridgeshire, UK
University of Cambridge
Profile age: over 16 years
Updated 14 days ago
765 followers • 360 following
Contacts
http://www.jonmsterling.com
@jonmsterling@mathstodon.xyz
Organizations
Repositories
AquaUI
149
1
updated 5 months ago • age 9 months
Swift
100.0%
JonPRL
110
9
1
updated over 6 years ago • age over 10 years
Standard ML
99.7%
Makefile
0.3%
Githood
96
4
updated over 14 years ago • age over 14 years
Objective-C
83.8%
C
16.2%
forest
Archived
87
5
updated 4 months ago • age almost 3 years
Shell
100.0%
dreamtt
83
3
updated about 4 years ago • age almost 5 years
OCaml
97.6%
Standard ML
2.4%
math
52
5
updated over 2 years ago • age over 3 years
TeX
28.8%
HTML
26.4%
CSS
15.3%
JavaScript
15.0%
Racket
14.5%
ocaml-forester
Archived
45
3
2
updated over 1 year ago • age over 2 years
OCaml
99.2%
Nix
0.8%
Tasky
31
3
updated over 7 years ago • age about 13 years
Python
80.8%
Shell
19.2%
Lens.hpp
21
0
updated about 14 years ago • age about 14 years
C++
100.0%
coq-guarded-computational-type-theory
21
1
updated over 7 years ago • age about 8 years
Coq
94.0%
Makefile
6.0%
Show more - 10 of 61 shown
Contributions
2025
opam-repository
1 PR
+69
-0
552
1,201
2024
htmx
1 PR
+1
-1
JavaScript
46,062
1,502
27
topiary
1 PR
+11
-0
Rust
724
46
11
opam-repository
~8 PRs
+159
-0
552
1,201
datalog
1 PR
+1
-1
Prolog
272
24
1
dream-html
1 PR
+8
-7
OCaml
191
19
34
golden-forest
2 PRs
+3
-3
Nix
3
2
2023
Second-Brain
1 PR
+1
-0
1,648
87
opam-repository
~10 PRs
+183
-0
552
1,201
influx
1 PR
+5
-8
TypeScript
336
14
21
Show more
