Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/florianschanda

Badges

Overview
Ranks
Repositories
Languages

Florian Schanda

@florianschanda

🇩🇪 Germany

NVIDIA

Profile age: over 13 years

Updated 12 days ago

34 followers • 2 following

Repositories

189

20

36

updated about 1 year ago • age almost 6 years

Python48.8%

HTML39.7%

MATLAB10.8%

CSS0.4%

M0.2%

9

2

2

updated over 5 years ago • age over 8 years

Python100.0%

8

2

updated over 5 years ago • age over 8 years

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