Rankings
Badges
/
jonhanke
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jonathan Hanke
@jonhanke
Refresh
Open GitHub
🇺🇸 New York, NY
Hanke Enterprises
Profile age: about 13 years
Updated 8 days ago
18 followers • 7 following
Contacts
http://jonhanke.com
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Rank in USA
Adept 2
Persona
Influencer
#99,910
#176,797
#103,399
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
quadratic_forms_in_lean
8
1
updated 4 months ago • age 6 months
Lean
100.0%
QFLib
1
0
updated over 9 years ago • age over 10 years
Python
58.4%
C++
40.3%
C
0.9%
Shell
0.2%
Makefile
0.2%
comparing_and_formalizing_quadratic_and_bilinear_objects
0
0
updated 3 months ago • age 3 months
Lean
100.0%
nam_entropy
0
0
updated 9 days ago • age 23 days
Jupyter Notebook
68.5%
Python
31.5%
Last Contributions
2025
lmfdb
1 PR
+33
-2
Python
276
224
2
View all contributions
Latest Updates
19 Sep 2025
Email:
jonhanke@gmail.com (removed)
Followers Count:
17
18
21 Aug 2025
Followers Count:
16
17
06 Jan 2025
First seen
Subscribe to jonhanke's GitHub rank updates in your messenger
WhatsApp
Telegram
