Rankings
Badges
/
florianschanda
Rankings
Badges
Overview
Ranks
Repositories
Languages
Florian Schanda
@florianschanda
Refresh
Open GitHub
🇩🇪 Germany
NVIDIA
Profile age: over 13 years
Updated 12 days ago
34 followers • 2 following
Profile Overview
Global
Germany
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 2
Persona
Creator
#140,089
#1,073,639
#414,914
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
miss_hit
189
20
36
updated about 1 year ago • age almost 6 years
Python
48.8%
HTML
39.7%
MATLAB
10.8%
CSS
0.4%
M
0.2%
PyMPF
9
2
2
updated over 5 years ago • age over 8 years
Python
100.0%
smtlib_schanda
8
2
updated over 5 years ago • age over 8 years
Last Contributions
2025
Examples
2 PRs
+511
-0
TLA
1,415
211
2
2024
trlc
3 PRs
+3,025
-2,565
Python
81
16
25
2023
trlc
1 PR
+91
-1
Python
81
16
25
2018
cvc5
1 PR
+3
-3
SMT
1,197
268
29
View all contributions
Subscribe to florianschanda's GitHub rank updates in your messenger
WhatsApp
Telegram
