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 12 days ago
42 followers • 14 following
Contacts
linkerfelix@gmail.com
https://felixlinker.de
@felixlinker
Organizations
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%
draft-linker-digital-emblem
0
1
updated 8 months ago • age over 1 year
keytrans-verification
0
3
updated 4 months ago • age 8 months
Go
100.0%
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
2024
tamarin-prover
~11 PRs
+1,676
-1,204
Haskell
476
148
10
draft-protocol
~8 PRs
+197
-48
3
1
6
diem-unified-charter
1 PR
+5
-5
0
3
diem-unified-charter
1 PR
+2
-3
0
8
draft-ietf-cose-merkle-tree-proofs
2 PRs
+8
-9
0
5
2
Show more
