Rankings
Badges
/
felixlinker
Rankings
Badges
Overview
Ranks
Repositories
Languages
Felix Linker
@felixlinker
Refresh
Open GitHub
🇨🇭 Zurich, Switzerland
ETH Zurich
Profile age: almost 11 years
Updated 11 days ago
42 followers • 14 following
Contacts
linkerfelix@gmail.com
https://felixlinker.de
@felixlinker
Organizations
Profile Overview
Global
Switzerland
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 1
Persona
Contributor
#506,847
#316,196
#325,143
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
tamarin-workshop
21
4
updated 4 months ago • age about 2 years
IB_FPSRL
6
1
updated over 6 years ago • age over 6 years
TeX
57.3%
Python
42.7%
FETT_CfgLoadouts
2
2
updated almost 3 years ago • age over 5 years
C++
86.9%
SQF
13.1%
tamarin-prover
1
0
updated 8 months ago • age about 3 years
Haskell
88.1%
Python
6.8%
JavaScript
2.7%
Makefile
1.2%
CSS
1.1%
gbn1920_chrifero
0
1
updated over 5 years ago • age over 5 years
Python
100.0%
View all 7 repositories
Last Contributions
2025
hugo-researcher
1 PR
+1
-1
HTML
250
134
gobra
1 PR
+1
-1
Scala
135
35
6
tamarin-prover.github.io
1 PR
+2
-1
HTML
5
6
draft-protocol
2 PRs
+10
-9
3
1
6
charters
~13 PRs
+10
-12
2
7
7
View all contributions
Latest Updates
06 Sep 2025
Followers Count:
41
42
09 Aug 2025
Followers Count:
40
41
25 Jul 2025
Followers Count:
38
40
11 Jul 2025
Followers Count:
37
38
06 Jan 2025
First seen
Subscribe to felixlinker's GitHub rank updates in your messenger
WhatsApp
Telegram
