Felix Linker (@felixlinker)
github

felixlinker

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    32
  • Global Rank 467,220 (Top 17 %)
  • Followers 31
  • Following 14
  • Registered almost 10 years ago
  • Most used languages
    TeX
         37.5 %
    Haskell
         25.0 %
    Python
         12.5 %
    C++
         12.5 %
    Clojure
         12.5 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 21,064
  • Country Ranking
    Haskell
         247
    TeX
         389
    Clojure
         421
    C++
         7,576

Top repositories

1

tamarin-workshop

A 2-4h workshop on the Tamarin protocol verifier.
11
star
2

IB_FPSRL

Prototype to benchmark the fuzzy particle swarm reinforcement learning (Hein, Hentschel, Runkler, Udluft 2017) algorithm on the industrial benchmark
TeX
6
star
3

subsets

Iterate over all subsets of lists or sets efficiently using the Banker's sequence
Haskell
4
star
4

ifc-rv-thesis

My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
TeX
4
star
5

FETT_CfgLoadouts

A loadout-system for ArmA 3.
C++
2
star
6

logistik-asp

Answer set program for logistics scheduling. Part of a practical course at University.
Haskell
2
star
7

gbn-summary

A LaTeX summary of the WS19/20 course "Graphen und biologische Netze" at the Leipzig University.
TeX
1
star
8

smvtrcviz

Transform XML traces generated by nuXmv or NuSMV into a html table
Clojure
1
star
9

tamarin_openid4vp_ble

Python
1
star