Rankings
Badges
/
SHoltzen
Rankings
Badges
Overview
Ranks
Repositories
Languages
Steven Holtzen
@SHoltzen
Refresh
Open GitHub
🇺🇸 Boston, MA
Northeastern University
Profile age: over 15 years
Updated 14 days ago
43 followers • 5 following
Contacts
https://www.khoury.northeastern.edu/home/sholtzen/
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 4
Persona
Influencer
#243,549
#2,274,829
#319,525
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
dice
85
21
2
updated 7 months ago • age almost 6 years
OCaml
82.9%
Standard ML
14.5%
Python
2.6%
oplss24-code
10
0
updated 8 months ago • age over 1 year
OCaml
99.5%
Dune
0.5%
verified-sdd
1
0
updated over 8 years ago • age almost 9 years
Coq
72.1%
TeX
17.1%
OCaml
10.8%
Last Contributions
2023
rsdd
4 PRs
+4,304
-4,256
Rust
31
11
CS7470-Notes
1 PR
+642
-278
TeX
5
0
2022
rsdd
5 PRs
+12,355
-699
Rust
31
11
2015
PackManager
2 PRs
+15,795
-4
Objective-C
1
0
View all contributions
Latest Updates
24 Sep 2025
Followers Count:
42
43
13 Aug 2025
Followers Count:
43
42
16 Jul 2025
Followers Count:
41
43
16 Jan 2025
First seen
Subscribe to SHoltzen's GitHub rank updates in your messenger
WhatsApp
Telegram
