-
-
-
NewPipe Public
Forked from TeamNewPipe/NewPipeA libre lightweight streaming front-end for Android.
Java GNU General Public License v3.0 UpdatedJan 30, 2025 -
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell. Contributions for MSc thesis are at strict-runtime-check.
Agda MIT License UpdatedDec 5, 2024 -
waybar-mpris Public
Forked from hrfee/waybar-mprisMPRIS2 waybar component
Go MIT License UpdatedOct 11, 2024 -
hoare-ledgers Public
Forked from omelkonian/hoare-ledgersSeparation logic for UTXO-based blockchain ledgers
Agda UpdatedFeb 27, 2024 -
org-chef Public
Forked from Chobbes/org-chefA package for making a cookbook and managing recipes with org-mode.
Emacs Lisp MIT License UpdatedAug 14, 2023 -
optimal-yahtzee-extreme Public
Play optimal solitaire Yahtzee, including Extreme variant
Rust GNU General Public License v3.0 UpdatedJan 16, 2022 -
personal_tagging Public
Auto mediadata tagger with my own standards
-
DHBW-PA-Preset Public
LaTeX preset for the DHBW Praxisarbeit
-
SplayPy-Paper Public
Implementation of Splay trees in Python as part of a research paper
Jupyter Notebook Other UpdatedApr 26, 2020 -
DHBW-PA5-Preset Public
LaTeX preset for the fifth DHBW Praxisarbeit (quite different from the usual)
-
{{ message }}