schaefer-dev Goto Github PK

autohotkey

Autohotkey Scripts for Win10 Environment

awesome-mac-things

some useful mac things:scripts, shells, doc, shortcut keys

cheatsheets

my personal cheatsheets

chess_engine

Free-time project implementing my own chess engine in Rust. Started during vacation - still in very early phase

clover-efi

Current State of my Clover EFI used on my Hackintosh rig running 10.14.2

cskey

The perfect keyboard layout for all (german) computer scientists. Easy accessibility of Umlaute and commonly used math syntax such as ω,λ,ε,π etc.

dotfiles

An attempt at organisation and documentation of countless configuration files :)

embeddedsystems

ES 2018 SS

fat-dash

Dashboard for FPS Aim Trainer

formalverification

Selected Topics in Formal Methods for Security Course, WS 18/19

highlevelcv

High Level Computer Vision Exercises and Project

hlcv

repo for high level computer vision projects

hon_encoder

Implementation of the Hands-on-Networking Encoder Project

hon_llpd

LLPD Project for hand-on-Networking course 2019

icons

the icons I use basically the whole time

javaticketmanager

small Java project implemented for application process

k-bosy

Extension to BoSy Synthesis tool to handle epistemic specifications using knowledge semantics. KBoSy transform the KLTL synthesis problem into an LTL synthesis problem that can be solved by BoSy.

macos-hotkeys

macOS hotkeys I forget sometimes, so I can look them up here :)

macos-media_utilities

Collection of Utilities I use, which can be used to consume on-demand and live video-content (e.g. YouTube/Twitch) on macOS.

master_thesis_benchmarks

Specifications which are used for benchmarks of my Master Thesis.

neuralnetworkapplication

np-project

Practical part of the concurrent programming lecture

operating_systems_filesys

Project 4 Filesystem Implementation of operating systems course, seperate from Project 3 (Virtual Memory)

operatingsystems

Operating Systems Core Course WS 2017/18 (up to Virtual Memory Implementation)

prog_for_engineers

Programming for Engineers SS17

project-euler

My solutions for Project Euler

qmk_firmware

my fork of QMK firmware to program custom layout for HHKB pro 2 keyboard. Support of mouse-emulation and tap modifiers

qmk_firmware-1

Open-source keyboard firmware for Atmel AVR and Arm USB families

qmk_firmware_nuphy

schaefer-dev.github.io

My portfolio Website hosted at: www.schaefer-dev.de