Rankings
Badges
/
stepchowfun
Rankings
Badges
Overview
Ranks
Repositories
Languages
Stephan Boyer
@stepchowfun
Refresh
Open GitHub
🇺🇸 San Francisco, CA
Notion Labs, Inc.
Profile age: over 14 years
Updated 1 day ago
451 followers • 5 following
Contacts
stephan@stephanboyer.com
@stepchowfun
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 1
Persona
Creator
#7,791
#284,881
#19,604
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
toast
1,599
40
62
updated 3 months ago • age over 6 years
Rust
95.8%
Shell
4.2%
typical
744
13
40
updated 28 days ago • age over 4 years
Rust
52.8%
TypeScript
46.2%
JavaScript
0.6%
Terra
0.3%
Shell
0.1%
docuum
652
39
46
updated 3 months ago • age over 5 years
Rust
91.2%
Shell
7.7%
Dockerfile
1.1%
proofs
306
14
updated about 1 month ago • age about 8 years
Rocq Prover
97.7%
Ruby
1.9%
Makefile
0.4%
theorem-prover
Archived
241
30
updated almost 4 years ago • age over 11 years
Python
100.0%
View all 23 repositories
Last Contributions
2025
gram
~11 PRs
+22
-14
Rust
35
0
5
2024
gram
~28 PRs
+30
-30
Rust
35
0
5
2023
gram
~15 PRs
+20
-17
Rust
35
0
5
2022
rocq
1 PR
+13
-0
OCaml
5,226
694
65
netns
1 PR
+2
-1
Go
414
134
5
View all contributions
Latest Updates
02 Oct 2025
Followers Count:
448
451
18 Sep 2025
Followers Count:
443
448
04 Sep 2025
Followers Count:
442
443
21 Aug 2025
Followers Count:
443
442
05 Jan 2025
First seen
Subscribe to stepchowfun's GitHub rank updates in your messenger
WhatsApp
Telegram