felixlinker Goto Github PK

ard_key_mapper

Maps the input of a HID-keyboard to an arduino to custom butten presses without the need to have an arduino leonardo or similar

bestesrepository

bpmn-js

A BPMN 2.0 rendering toolkit and web modeler.

content

The content behind MDN Web Docs

contributist

Preview upcoming tasks from todoist contribution-chart-style

coriolis-hosting

cryptopals

Implementing https://cryptopals.com/

diagram-js

A toolbox for displaying and modifying diagrams on the web.

draft-linker-adem

dung-k-revision

Implementation of AGM-style expansion and revision with regard to strong-equivalence as developed by Baumann and Brewka.

ed-journey

An electron app that shows what you have done and where you have been in Elite: Dangerous

ed-logwatcher

Elite: Dangerous log watcher

ed-tradeassist

fesc

Mission enhancement scripts for ArmA 3

fett_cfgloadouts

A loadout-system for ArmA 3.

gbn-summary

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

gbn1920_chrifero

homepage

This repository contains all files related to building my homepage. It is published under https://felixlinker.github.io

ib_fpsrl

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

ifc-rv-thesis

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

lectures

Contains multiple TeX files corresponding to lectures at the Leipzig University.

leipzig-theme

A beamer theme that conforms to the corporate design of the University of Leipzig.

logistik-asp

Answer set program for logistics scheduling. Part of a practical course at University.

manual

Tamarin prover manual: source files

migraine

MIGRAINE = MultIple GRaph AlIgNmEnt tool

moddle

Meta-model based data structures for those who need it

multivitamin

In-Terminal multiple alignment tool for graphs

musical-spoon

Fortgelaufene Methoden der Bioinformatik

openid4vp_ble

owl2nl.qr-tool