Become a sponsor to Natalie Clarius
I am a master's student developing open source software in my free time. I
- contribute to KDE Plasma
- write KDE extensions
- develop scripts for automation of routine processes, especially in academic education
- work on a computational implementation of the tableau calculus for modal logics
- and enjoy teaching logic and programming.
Languages: Python (fluent), C++, bash, JavaScript (working proficiency), Java (native language), Prolog (good in reading, intermediate in writing)
More about me can be found on my personal website.
Featured work
-
KDE/plasma-workspace
Various components needed to run a Plasma-based environment
C++ 214 -
nclarius/tile-gaps
KWin script to add space around windows touching a screen edge or other window
JavaScript 108 -
nclarius/KWin-window-positioning-scripts
KWin scripts controlling window placement on multi-monitor setups
JavaScript 61 -
nclarius/pyPL
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Python 19 -
nclarius/pyGrade
Interactive assistant for unit test based semi-automated grading of Python programming assignments