Pinned Repositories
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
cheatsheets
my personal cheatsheets
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 :)
icons
the icons I use basically the whole time
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.
sinfo-rs
sinfo-rs is a tool that outputs information about your system in a visually pleasing way written in Rust.
twitchy
CLI streamlink wrapper for twitch.tv
schaefer-dev's Repositories
schaefer-dev/icons
the icons I use basically the whole time
schaefer-dev/cheatsheets
my personal cheatsheets
schaefer-dev/twitchy
CLI streamlink wrapper for twitch.tv
schaefer-dev/macos-hotkeys
macOS hotkeys I forget sometimes, so I can look them up here :)
schaefer-dev/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.
schaefer-dev/autohotkey
Autohotkey Scripts for Win10 Environment
schaefer-dev/CSKey
The perfect keyboard layout for all (german) computer scientists. Easy accessibility of Umlaute and commonly used math syntax such as ω,λ,ε,π etc.
schaefer-dev/dotfiles
An attempt at organisation and documentation of countless configuration files :)
schaefer-dev/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.
schaefer-dev/sinfo-rs
sinfo-rs is a tool that outputs information about your system in a visually pleasing way written in Rust.
schaefer-dev/awesome-mac-things
some useful mac things:scripts, shells, doc, shortcut keys
schaefer-dev/chess_engine
Free-time project implementing my own chess engine in Rust. Started during vacation - still in very early phase
schaefer-dev/clover-efi
Current State of my Clover EFI used on my Hackintosh rig running 10.14.2
schaefer-dev/embeddedSystems
ES 2018 SS
schaefer-dev/fat-dash
Dashboard for FPS Aim Trainer
schaefer-dev/formalVerification
Selected Topics in Formal Methods for Security Course, WS 18/19
schaefer-dev/hlcv
repo for high level computer vision projects
schaefer-dev/hon_encoder
Implementation of the Hands-on-Networking Encoder Project
schaefer-dev/hon_llpd
LLPD Project for hand-on-Networking course 2019
schaefer-dev/JavaTicketManager
small Java project implemented for application process
schaefer-dev/master_thesis_benchmarks
Specifications which are used for benchmarks of my Master Thesis.
schaefer-dev/np-project
Practical part of the concurrent programming lecture
schaefer-dev/Project-Euler
My solutions for Project Euler
schaefer-dev/qmk_firmware
my fork of QMK firmware to program custom layout for HHKB pro 2 keyboard. Support of mouse-emulation and tap modifiers
schaefer-dev/qmk_firmware-1
Open-source keyboard firmware for Atmel AVR and Arm USB families
schaefer-dev/qmk_firmware_nuphy
schaefer-dev/schaefer-dev.github.io
My portfolio Website hosted at: www.schaefer-dev.de
schaefer-dev/SwiftDate
Parse, validate, manipulate, and display dates, time and timezones in Swift
schaefer-dev/vim-oregator
Vim language support for oregator files
schaefer-dev/whoami
A library and program that gets the current user and environment.