A theorem prover for intuitionistic propositional logic

Skript für die Vorlesung Informatik I an der Universität Tübingen

Programming Languages I Lecture Notes

xdotool-like for KDE Wayland

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.

Simple script to generate dynamic wallpaper (light and dark) from two selected images.

KDE KWin Script for snapping windows into zones

KWin script for KDE Plasma which suggests other window thumbnails on snap

Easy window layout management for KDE Plasma

A simple program for X11 window system that prents the cursor from crossing into another monitor when you do't want it to.

Provides a way to run menubar commands in KDE Plasma through rofi, much like the Unity 7 Heads-Up Display (HUD).

Auto wallpaper color scheme generator

Material-ish window decoration theme for KWin, with LIM, based on zzag's original design.

Material-ish window decoration theme for KWin (please don't use it)

A customizable panel widget for KDE Plasma

KDE Plasma color scheme generator script

KRunner appmenu plugin

Automatic color scheme generator from your wallpaper for KDE Plasma powered by Material You

Color libraries for Material You

SL(1): Cure your bad habit of mistyping

A flat colorful Design icon theme

js.js: A JavaScript JavaScript interpreter

One-stop automation system for Linux

Auto Nightmode for KDE, Gnome, Budgie, VSCode, Atom and more

This is a simple tool for automatically changing accent color based on wallpaper for kde plasma.

Tiled scrollable window management for Gnome Shell

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

KDE File Manager

Automatically generate KDE color schemes from wallpapers

Userspace tool to disable middle mouse button paste in Xorg