Rankings
Badges
/
hyponymous
Rankings
Badges
Overview
Ranks
Repositories
Languages
Mike Plotz Sage
@hyponymous
Refresh
Open GitHub
🇺🇸 San Francisco
Profile age: over 15 years
Updated 12 days ago
8 followers • 1 following
Contacts
http://hyponymo.us/
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Beginner 5
Persona
Contributor
#1,277,218
#1,479,612
#1,467,190
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
theorem-proving-in-lean-solutions
5
0
updated almost 7 years ago • age about 7 years
Lean
100.0%
terraform
0
0
updated about 6 years ago • age about 10 years
JavaScript
100.0%
harp
0
0
updated about 6 years ago • age about 10 years
JavaScript
84.7%
HTML
12.9%
CSS
2.4%
Last Contributions
2024
pkg-tools
1 PR
+3
-3
TypeScript
36
1
2019
gopter
1 PR
+1
-1
Go
612
44
10
2014
harp.rip
1 PR
+2
-2
Less
30
56
View all contributions
Subscribe to hyponymous's GitHub rank updates in your messenger
WhatsApp
Telegram
