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 20 Updated 10 months ago
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
dotfiles Stars 11 Updated 1 year ago
Collection of configuration files
pyGrade Stars 0 Updated 1 year ago
Interactive assistant for unit test based semi-automated grading of Python programming assignments
shell-scripts Stars 8 Updated 2 years ago
Collection of shell scripts and instructions for window opening and file updating
kwin-application-switcher Stars 21 Updated 2 years ago
KWin script to raise all windows of an application as a group
tile-gaps Stars 116 Updated 2 years ago
KWin script to add space around windows touching a screen edge or other window
KWin-window-geometry-scripts Stars 20 Updated 2 years ago
KWin scripts to control window geometry via keyboard shortcuts
Moode-group-assignment-administration Stars 0 Updated 3 years ago
Set of scripts and instructions for administering group-wise assignment submissions via the Moodle learning management system
floating-tiles Stars 17 Updated 3 years ago
KWin script to prevent windows from overlapping
KWin-window-positioning-scripts Stars 67 Updated 3 years ago
KWin scripts controlling window placement on multi-monitor setups
Plasma-window-decorations Stars 91 Updated 3 years ago
Window styles for KDE Plasma highlighting the active window in the color scheme's accent color
automatic-manual-duplex-printing Stars 4 Updated 3 years ago
Shell script to semi-automatize manual two-sided printing
task-manager-modified Stars 5 Updated 4 years ago
Modification of the KDE task manager applet to make it centered and more minimal
History
natalie.clarius joined 4 years ago.
natalie.clarius does not disclose how much they receive through Liberapay.