Pinned Loading

1. dotfiles dotfiles Public

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

   Python

2. k-bosy k-bosy Public

   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.

   Swift

3. sinfo-rs sinfo-rs Public

   sinfo-rs is a tool that outputs information about your system in a visually pleasing way written in Rust.

   Rust

4. qmk/qmk_firmware qmk/qmk_firmware Public

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

   C 18.6k 40.1k

5. CSKey CSKey Public

   Forked from Schwenger/CSKey

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

   Python 1

6. macOS-media_utilities macOS-media_utilities Public

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

   Shell 1