Natalie Clarius
@natalie.clarius
Developer of free open-source software for logic, teaching and Linux/KDE
Linked Accounts
natalie.clarius owns the following accounts on other platforms:
Repositories
pyPL Stars 18 Updated 3 weeks ago
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
kwin-application-switcher Stars 14 Updated 1 month ago
KWin script to raise all windows of an application as a group
tile-gaps Stars 103 Updated 2 months ago
KWin script to add space around windows touching a screen edge or other window
shell-scripts Stars 5 Updated 3 months ago
Collection of shell scripts and instructions for window opening and file updating
KWin-window-geometry-scripts Stars 17 Updated 3 months ago
KWin scripts to control window geometry via keyboard shortcuts
dotfiles Stars 11 Updated 3 months ago
Collection of configuration files
Moode-group-assignment-administration Stars 0 Updated 8 months ago
Set of scripts and instructions for administering group-wise assignment submissions via the Moodle learning management system
floating-tiles Stars 14 Updated 1 year ago
KWin script to prevent windows from overlapping
KWin-window-positioning-scripts Stars 53 Updated 1 year ago
KWin scripts controlling window placement on multi-monitor setups
pyGrade Stars 0 Updated 1 year ago
Interactive assistant for unit test based semi-automated grading of Python programming assignments
Plasma-window-decorations Stars 52 Updated 1 year ago
Window styles for KDE Plasma highlighting the active window in the color scheme's accent color
automatic-manual-duplex-printing Stars 5 Updated 1 year ago
Shell script to semi-automatize manual two-sided printing
task-manager-modified Stars 5 Updated 2 years ago
Modification of the KDE task manager applet to make it centered and more minimal
History
natalie.clarius joined 2 years ago.
natalie.clarius does not disclose how much they receive through Liberapay.